Si formula_1 es el conjunto de todos aquellos elementos formula_12 que verifican una propiedad formula_13, entonces formula_1 se representa también por