Пусть . Дадим несколько определений.

Def. Пересечением подпространств и называется Множество, обозначаемое и состоящее из векторов, входящих одновременно в оба подпространства, т.е.
.

Def. Суммой подпространств и называется Множество, обозначаемое и состоящее из всевозможных сумм векторов этих двух подпространств, т.е.
.

линейноепространство