MDLD/direct sum decomposition

Start=direct sum decomposition Target=Vector space/Linear subspaces/Finite/Direct sum/Definition