1
El ser elemento de es una relación binaria o de dos argumentos entre dos objetos de la Teoría de Conjuntos. Esta relación va de un objeto a otro, donde el segundo objeto es necesariamente un conjunto y el primero puede ser o no un conjunto.
2
La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece a x", no es un conjunto.
3
Ningún conjunto puede tener como elementos suyos, a todos los conjuntos.
4
Colección de cualquier tipo de objetos considerada como un todo, una multiplicidad vista como unidad; entidad completa bien determinada.
5
Para todo conjunto, hay un conjunto que no le pertenece.
