Mientras tanto, si formula_16 es la propiedad formula_20, entonces el conjunto