La raíz cuadrada de 2, se define como el único número real positivo tal que, multiplicado por sí mismo, es igual a 2.