En matemticas, un conjunto es numerable o contable cuando sus elementos pueden ponerse en correspondencia uno a uno con el conjunto de los

nmeros naturales o un subconjunto finito del mismo. Algunos autores toman una definicin alternativa de conjunto numerable que incluye tambin a los conjuntos finitos. Esta definicin establece que un conjunto es numerable cuando existe correspondencia uno a uno entre el conjunto y algn subconjunto de los nmeros naturales y es por esto que en ocasiones se especifica conjunto infinito numerable o a lo sumo numerable para evitar ambigedades, refiriendo la primera expresin nicamente a conjuntos infinitos y la segunda permitiendo conjuntos finitos. La teora de conjuntos es una rama de las matemticas que estudia las propiedades de los conjuntos. Los conjuntos son colecciones abstractas de objetos, consideradas como objetos en s mismas, y son una herramienta bsica en la formulacin de cualquier teora matemtica.

En teora de conjuntos, un elemento o miembro de un conjunto (o familia de conjuntos) es un objeto atmico que forma parte de ese conjunto (o familia). Al escribir A = {1,2,3,4}, estamos diciendo que los elementos del conjunto A son los nmeros 1, 2, 3 y 4. Un grupo de elementos de A sera, por ejemplo, {1,2}, el cual es un subconjunto de A. Los elementos pueden ser conjuntos en s mismos. Por ejemplo, consideremos el conjunto B = {1,2,{3,4}}. Los elementos de B no son 1, 2, 3, y 4; en efecto, B tiene slo tres elementos: 1, 2 y el conjunto {3,4}. Los elementos de un conjunto pueden ser cualquier cosa. Por ejemplo, C = {rojo, verde, azul}, es el conjunto cuyos elementos son los colores rojo, verde y azul.

IGUALDAD DE CONJUNTOS
Se dice que 2 conjuntos A y B son iguales cuando ambos tienen los mismos elementos, es decir si cada elemento de A pertenece a B y si cada elemento que pertenece a B pertenece tambin a A. La igualdad se denota A = B.
Conjunto vaco: En matemticas, especficamente en teora de conjuntos, 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. En una teora axiomtica de conjuntos, la existencia de un conjunto vaco se postula. Algunas propiedades de los conjuntos son trivialmente ciertas para el conjunto vaco. El conjunto vaco es denotado por los smbolos:

derivados de la letra . 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: Sud conjunto: En matemticas, especialmente en teora de conjuntos, un conjunto A es subconjunto de un conjunto B si A "est contenido" dentro de B. Recprocamente, se dice que el conjunto B es un supe conjunto de A cuando A es un subconjunto de B. Sean A y B dos conjuntos tal que cada elemento de A es tambin elemento de B. Entonces se dice que:

A es un subconjunto de B, y se denota A B B es un sper conjunto de A, y se denota B A

Los sper conjuntos tambin llamados referenciales o Universo son aquellos que tienen la caracterstica de englobar a otros de su misma especie. Ejemplo el referencial o Universo del conjunto A={1,2,3,4} seria los nmeros naturales Es como quien dice en trminos comunes el grupo inmediato superior al que pertenece un conjunto dado. a su vez el ultimo pertenece a otro sper conjunto que serian los Reales y as sucesivamente.... En teora de conjuntos, la interseccin de dos (o ms) conjuntos es una operacin que resulta en otro conjunto que contiene los elementos comunes a los conjuntos de partida. Por ejemplo, dado el conjunto de los nmeros pares P y el conjunto de los cuadrados C de nmeros naturales, su interseccin es el conjunto de los cuadrados pares D : P = {2, 4, 6, 8, 10,...} C = {1, 4, 9, 16, 25, ...} D = {4, 16, 36, 64, ...} La interseccin de conjuntos se denota por el smbolo por lo que D = P C. En teora de conjuntos, la diferencia entre dos conjuntos es una operacin que resulta en otro conjunto, cuyos elementos son todos aquellos en el primero de los conjuntos iniciales que no estn en el segundo. Por ejemplo, la diferencia entre el conjunto de los nmeros naturales N y el conjunto de los nmeros pares P es el conjunto de los nmeros que no son pares, es decir, los impares I: N = {1, 2, 3, 4, 5, ...} P = {2, 4, 6, 8,...} I = {1, 3, 5, 7, ...} Como no hay ningn nmero par que no sea un nmero natural, la diferencia P menos N no tiene ningn elemento, por lo que es el conjunto vaco. La diferencia entre dos conjuntos A y B se denota por A \ B A B, por lo que: N \ P = I, y tambin P N = .