Given a field K and a linear operator A, a subspace S of that field K is invariant under A if for any A(S) is a subset of S.
