Corolario Un subconjunto formula_2 no vacío de formula_1 es subespacio vectorial si y solo si, para cada formula_18 y para cada formula_19 se cumple