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