Hilbert spaces are often taken over the complex numbers. The complex plane denoted by C is equipped with a notion of magnitude, the complex modulus |z| which is defined as the square root of the product of z with its complex conjugate: