Así, si formula_16 es la propiedad formula_17, entonces el conjunto