CLASES DE CONJUNTOS Un conjunto es una coleccin o agrupacin de objetos o elementos que responden a una misma categora o grupo.

Haciendo un anlisis de los miembros que lo conforman pueden existen los siguientes tipos:

CONJUNTO VACIO: En matemticas, el conjunto vaco es el conjunto que no contiene ningn elemento. Puesto que lo nico que define a un conjunto son sus elementos, el conjunto vaco es nico. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco. En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula. El conjunto vaco es denotado por los smbolos:

derivados de la letra de las lenguas danesa y noruega, entre otras. Esta notacin fue introducida por Andr Weil en 1939.1 Otra notacin comn para el conjunto vaco es la notacin extensiva, especificando sus elementos (ninguno) entre llaves:

CONJUNTO FINITO: En matemtica, un conjunto finito es un conjunto que tiene un nmero finito de elementos. Por ejemplo {2, 4, 6, 8, 10} es un conjunto finito con cinco elementos. La cardinalidad o nmero de elementos de un conjunto finito es igual a un nmero natural. Si un conjunto no es finito, entonces es infinito. Por ejemplo, el conjunto N = {1, 2, 3, ...} de los nmeros naturales es infinito. Todo conjunto finito es un conjunto numerable, puesto que sus elementos pueden contarse, pero la recproca es falsa: existen conjuntos numerables que no son finitos (como el propio N). Los conjuntos finitos son particularmente importantes en combinatoria.

CONJUNTO INFINITO: En teora de conjuntos, un conjunto infinito es un conjunto que no es finito. Algunos ejemplos son:

Los nmeros enteros Z = {..., -3, -2, -1, 0, 1, 2, 3, ...} forman un conjunto infinito y numerable.

Los puntos en una recta, representados por un nmero real, forman un conjunto infinito y no numerable. Un conjunto finito A es aquel que tiene un nmero finito de elementos, o de otro modo, que puede ponerse en correspondencia biunvoca con un conjunto del tipo {1, 2, 3, ..., n}, donde n es un nmero natural.

CONJUNTO UNIVERSO: En matemticas, principalmente en teora de conjuntos y lgica de clases, un conjunto universal es un conjunto formado por todos los objetos de estudio en un contexto dado. Por ejemplo, en aritmtica los objetos de estudio son los nmeros naturales, por lo que el conjunto universal para este caso puede ser el conjunto de los nmeros naturales N. Al conjunto universal tambin se le denomina conjunto referencial, universo del discurso o clase universal, segn el contexto, y se denota habitualmente por U o V. La eleccin de un conjunto universal se hace por conveniencia, para establecer una distincin clara entre los objetos matemticos, todos ellos en el conjunto universal; y los conjuntos formados por dichos objetos, todos ellos subconjuntos del conjunto universal. Escogido un conjunto universal, para cada conjunto de objetos existe su complementario, que contiene todos los elementos que no estn en dicho conjunto.

CONJUNTO POTENCIAEn matemticas, el conjunto potencia de un conjunto dado es otro conjunto formado por todos los subconjuntos del mismo. Por ejemplo, el conjunto potencia de A = {1, 2, 3} es:

El conjunto potencia de A tambin se denomina conjunto de las partes de A, o conjunto de partes de A se denota por P(A) o 2A. El conjunto potencia de A es la clase o coleccin de los subconjuntos de A: CONJUNTO DISJUNTO En matemticas, dos conjuntos son disjuntos si no tienen ningn elemento en comn. Equivalentemente, dos conjuntos son disjuntos si su interseccin es vaca. Por ejemplo, {1, 2, 3} y {4, 5, 6} son conjuntos disjuntos.asies Dos conjuntos A y B son disjuntos si se cumple que ningn elemento de A lo es de B o viceversa: