The sum of subspaces is a subspace, arbitrary vector space.

math.la.t.vsp.subspace.sum.arb