MDLD/orthogonal space (dual space)

Start=orthogonal space (dual space) Target=Linear subspace/Orthogonal space in dual space/Definition