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