Usaremos también la notación más concisa según la cual el conjunto de aquellos elementos formula_2 que satisfacen una propiedad formula_7 dada se representa por