MDLD/linear subspaces

Start=linear subspaces See=linear subspace
MDLD/linear subspace
Target=Vector space/Linear subspace/Closed/Definition