Gram-Schmidt-Orthonormalization Makes any set of basis vectors in the real numbers into an orthonormal basis