Si formula_1 es una propiedad y formula_13 un objeto, entonces formula_24 denota el conjunto de objetos que poseen la propiedad formula_1 (los elementos de formula_7).