It is always possible to find a unitary basis for with a subset of basis vectors spanning the left-singular vectors of each singular value of .
As an exception, the left and right singular vectors of singular value 0 comprise all unit vectors in the kernel and cokernel, respectively, of , which by the rank-nullity theorem cannot be the same dimension if .