Una vez que se ha establecido un conjunto universal de elementos de una cierta clase, se asume que todos los conjuntos contienen elementos de esta clase, por lo que todos ellos son subconjuntos de .