Square root of two/Definition

The positive real number that, when multiplied by itself, gives the number 2.