If formula_1 and formula_2 are subspaces of a vector space formula_3, then the sum and the direct sum of formula_1 and formula_2, denoted respectively by formula_6 and formula_7, are subspaces as well.