Definición


Con dos subespacios y la suma esta definida como

Donde esta suma es el menor subespacio que contiene a y a

Se puede conseguir teniendo la union de los generadores de y de

pero esto no necesariamente es una base de