Definition:Trivial Subspace