Podemos considerar entonces el conjunto de los conjuntos formula_5 que verifican la propiedad formula_10 que dice que "formula_11", es decir, los elementos de formula_1 que son distintos de sí mismos.