Operation between two Subspaces that only exists if they are Independent Subspaces.

Direct Sum Theorem

Propositions