Dados dos subespacios vectoriales formula_232, diremos que formula_237 es una "suma directa" si formula_238 y lo notaremos como: