MDLD/coordinate function (vs)

Start=coordinate function (vs) Target=Vector space/Basis and isomorphic to K^n/Remark