Now you are in the subtree of Container for Linear Algebra project. 

If two finite dimensional subspaces have the same dimension and one is contained in the other

Put content here.