Términos básicos de la teoría de conjuntos.

La teoría de conjuntos estudia las propiedades de conjuntos: colecciones abstractas de objetos, consideradas como objetos en si mismas.

La teoría de conjuntos es la más elemental, es una de las herramientas básicas del lenguaje matemático. 

Dados unos elementos, unos objetos matemáticos como números o polígonos por ejemplo, puede imaginarse una colección determinada de estos objetos, un conjunto. 

Cada uno de estos elementos pertenece al conjunto, y esta noción de pertenencia es la relación relativa a conjuntos más básica. Los propios conjuntos pueden imaginarse a su vez como elementos de otros conjuntos. La pertenencia de un elemento a a un conjunto A se indica como a ∈ A.

Conjunto: Colección de cualquier tipo de objetos considerada como un todo, una multiplicidad vista como unidad; entidad completa bien determinada. Los objetos que forman al conjunto son nombrados elementos del conjunto o miembros del conjunto. Por colección entenderemos a una agrupación que está determinada por una propiedad enunciada por medio de un lenguaje preciso. Todo conjunto es una colección de objetos, pero no toda colección de objetos es un conjunto. Esta afirmación será demostrada más adelante.

Relación de Pertenencia: 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. 

Unión: Dados dos o más conjuntos, se define a la unión de conjuntos, como el conjunto formado por los elementos de todos los conjuntos.

Intersección: Dados dos o más conjuntos, se define a la intersección de dos conjuntos, como el conjunto formado por los elementos que pertenecen a todos los conjuntos.

Diferencia: Dados los conjuntos A y B, su diferencia, A-B, es los elementos que A no pertenece a B.

Diferencia simétrica: Dados dos conjuntos A y B su diferencia simétrica es la unión de la diferencia A-B y B-A.