Endomorphism/Invariant subspace/Definition