Podemos considerar la propiedad de conjuntos "pertenecer a cada uno de los elementos de formula_1".