U subset of V /\ dim(U)=m /\ dim(V)=m+n /\ T(g)u=u' in U => G,U is a submodule