Se dice que los subespacios formula_23 y formula_24son suplementarios cuando verifican que su suma directa es igual al espacio vectorial formula_25: