es decir "Cada conjunto es elemento de formula_2 si y sólo si no es elemento de sí mismo".