MDLD/real vector space

Start=real vector space Target=Vector space/Direct/Definition