As a superset of rational numbers, algebraic numbers are mapped into square roots by the square root function. Euclidean norms and distance are defined by the square root of a nonnegative number, as are Hilbert spaces as generalizations.