Introducción

La teoría de conjuntos es una división de las Matemáticas que

estudia los conjuntos. El primer estudio formal sobre el tema fue

realizado por el matemático alemán Georg Cantor, Gottlob Frege y
Julius Wilhelm Richard Dedekind en el Siglo XIX y más tarde
reformulada por Zermelo.

La teoría de conjuntos fue creada por Georg Cantor, aunque George

Boole dio los primeros pasos en su libro Investigations of the Laws of
thought. El concepto de infinito fue tratado por Zenón de Elea y sus
célebres paradojas como la de Aquiles y la tortuga.

Difiniciones
conjunto vacío es el que no posee elemento alguno.
Puesto que lo único que define a un conjunto es la
propiedad que satisfacen sus elementos, el conjunto
vacío es único.
conjunto unitario es un conjunto con un único elemento. Por
ejemplo, el conjunto { 0 } es un conjunto unitario. Observe que
un conjunto como, por ejemplo, { { 1; 1; 1 } } es también un
conjunto unitario: el único elemento es un conjunto. Un
conjunto es unitario si y solamente si su cardinalidad es uno

conjunto finito A es un conjunto cuyo número de elementos

es un número natural. Una manera de expresar esto es que
los elementos de A y los elementos del conjunto {1, 2, ..., n}
se pueden emparejar uno a uno, sin que sobre ningún
elemento en ninguno de los dos conjuntos

Conjunto infinito: son aquellos que contienen una cantidad

ilimitada de elementos. Es decir, aquellos que se extienden de
forma indefinida.

conjunto universal es un conjunto formado por todos los objetos de

estudio en un contexto dado.