Complement (linear algebra)/Definition

A pair of subspaces which form an (internal) direct sum.