Sea A un subconjunto de S tal que formula_6 entonces formula_7