An invariant subspace of satisfies for all . We also write this as . The simplest example is when is spanned by a single eigenvector of . More generally any invariant subspace can be spanned by a subset of the eigenvectors of , although the vectors spanning do not have to be eigenvectors themselves.