Con el ánimo de evitar confusiones, cuando definimos un conjunto debemos especificar de donde se están tomando los elementos que lo conforman. Esto significa que debe existir una base de la cual tomamos los elementos, esta base sobre el cual trabajamos es llamada conjunto universal. Usaremos siempre la letra `U` para representar el conjunto universal.
Si por ejemplo quieres definir `B` como el conjunto conformado por las vocales `i` y `a`, el conjunto universal podría ser el conjunto de las vocales. En la figura de la izquierda se muestra como puedes usar los diagramas de Venn para representar la relación entre el conjunto `B` y su conjunto universal `U`.
Para representar dicho conjunto usamos el reconocido símbolo del vacío, como se muestra en la imagen de la derecha.
También, haciendo uso de la descripción por extensión, representamos el conjunto vacío por medio de los corchetes {}. Como el conjunto vacío no tiene elementos, no podemos ubicar ningún elemento en el interior de los corchetes.
El conjunto unitario se distingue por tener solo un elemento. No importa qué tipo de elemento tenga el conjunto, un gato, un perro, un número, una letra, o cualquier otra cosa, si tiene un solo elemento es llamado conjunto unitario.
Este tipo de conjunto también se distingue por la cantidad de elementos que posee. Un conjunto es finito si podemos contar la cantidad de elementos que lo conforman.
Por ejemplo, el conjunto de las letras del idioma castellano es finito porque en total son 27 letras. En la imagen de la derecha se muestran otros conjuntos finitos. Te puedes dar cuenta que los conjuntos unitarios también son finitos.
No es fácil encontrar en la naturaleza ejemplos de este tipo de conjuntos. Los conjuntos infinitos son aquellos a los cuales no les podemos contar la cantidad de elementos que los componen. El método más fácil para representar este tipo de conjuntos es por comprensión. Basta con mencionar las características que tienen en común los elementos del conjunto y los estaremos determinando a todos. Considera el conjunto de los números que terminan en tres, podríamos definirlo así: Sea `T={x | x es número y ter m i n a en tres}`.
También existe una manera de representar algunos conjuntos infinitos por extensión. Basta exhibir los primeros elementos del conjunto e indicar con puntos suspensivos que la lista continua indefinidamente. En el caso del conjunto `T`, definido en el párrafo anterior y conformado por los números que terminan en tres, se tiene `T={3, 13, 23, 33, 43, 53, ...}`.
Los ejemplos más sencillos y comunes de conjuntos infinitos los encontramos en los números. ¿Cuántos números pares hay? ¿cuántos múltiplos tiene el tres? Estos conjuntos son infinitos, y no es porque este más allá de nuestra capacidad contar la cantidad de elementos que tienen. Es que es imposible hacerlo porque no hay un número que represente la cantidad de elementos que el conjunto contiene.