MDLD/subspace (linear)

Start=subspace (linear) Target=Vector space/Linear subspace/Closed/Definition