Vektoren mit eines Unterraums nennt man Orthonormalbasis von , wenn die Vektoren ein Orthonormalsystem bilden, welches darüber hinaus eine Basis von darstellt.