Teora de Conjuntos

La teora de conjuntos es una rama de las matemticas que estudia las propiedades y
relaciones de los conjuntos: colecciones abstractas de objetos, consideradas como objetos
en s mismas. Los conjuntos y sus operaciones ms elementales son una herramienta bsica
en la formulacin de cualquier teora matemtica.

La teora de conjuntos ms elemental es una de las herramientas bsicas del lenguaje

matemtico. Dados unos elementos, unos objetos matemticos
como nmeros o polgonos por ejemplo, puede imaginarse una coleccin determinada de
estos objetos, un conjunto. Cada uno de estos elementos pertenece al conjunto, y esta
nocin de pertenencia es la relacin relativa a conjuntos ms bsica. 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.

Una relacin entre conjuntos derivada de la relacin de pertenencia es la relacin de

inclusin. Una subcoleccin de elementos B de un conjunto dado A es un subconjunto de A,
y se indica como B A.

lgebra de conjuntos

Existen unas operaciones bsicas que permiten manipular los conjuntos y sus elementos,
similares a las operaciones aritmticas, constituyendo el lgebra de conjuntos:

Unin. La unin de dos conjuntos A y B es el conjunto A B que contiene cada

elemento que est por lo menos en uno de ellos.

Interseccin. La interseccin de dos conjuntos A y B es el conjunto A B que

contiene todos los elementos comunes de A y B.

Diferencia. La diferencia entre dos conjuntos A y B es el conjunto A \ B que

contiene todos los elementos de A que no pertenecen a B.

Complemento. El complemento de un conjunto A es el conjunto A que contiene

todos los elementos (respecto de algn conjunto referencial) que no pertenecen a A.

Diferencia simtrica La diferencia simtrica de dos conjuntos A y B es el

conjunto A B con todos los elementos que pertenecen, o bien a A, o bien a B, pero
no a ambos a la vez.

Producto cartesiano. El producto cartesiano de dos conjuntos A y B es el

conjunto A B que contiene todos los pares ordenados (a, b) cuyo primer
elemento a pertenece a A y su segundo elemento b pertenece a B.
Unin
Dados dos conjuntos A y B, su unin es el conjunto que contiene todos los elementos, que
pertenecen por lo menos a uno de los conjuntos A o B: La unin de dos conjuntos A y B es
otro conjunto A B cuyos elementos son todos los elementos de A y/o de B: x A B
cuando x A o x B (o en sentido inclusivo).

Generalizaciones

La unin de una coleccin finita de conjuntos A1, ..., An es el conjunto que contiene todos
los elementos de cada conjunto en dicha coleccin:

Y esta se puede calcular utilizando la propiedad asociativa de la unin de dos conjuntos

(ms abajo). De este modo, para unir varios conjuntos el orden en el que se haga es
irrelevante:

Una definicin ms general en teora de conjuntos se refiere a una familia de conjuntos:

Sea M una familia de conjuntos. Su unin M se define como:

Esta definicin coincide con las anteriores en el caso de una familia finita de conjuntos:

A B = M, donde M = {A, B}

A1 ... An = M, donde M = {A1, ..., An}

La unin general de conjuntos se denota de diversas maneras:

donde esta ltima se aplica en el caso de que se utilice un conjunto ndice,

tomando M como {Ai: i I}.

Propiedades:

De la definicin de unin puede deducirse directamente:

Idempotencia. La unin de un conjunto A consigo mismo es el propio A :

 Tanto A como B son subconjuntos de su unin:

La unin de un conjunto A con un subconjunto suyo B lo deja inalterado:

La unin de conjuntos posee tambin propiedades similares a las operaciones con nmeros:

Propiedad asociativa. La unin de los conjuntos A y B C es igual que la unin de

los conjuntos A B y C :

Propiedad conmutativa. La unin de los conjuntos A y B es igual a la unin de los

conjuntos B y A :

Elemento neutro. La unin de un conjunto A con el conjunto vaco es el mismo

conjunto A:

Todas estas propiedades se deducen de propiedades anlogas para la disyuncin lgica.

En relacin con la operacin de interseccin existen unas leyes distributivas:

Propiedad distributiva:

A (B C) = (A B) (A C), y por tanto:

A (A B) = A

A (B C) = (A B) (A C), y por tanto:

A (A B) = A

Cardinalidad:
El nmero de elementos de la unin de dos conjuntos finitos A y B es la suma de los
elementos de A y de B, si no tienen elementos en comn.

Si A y B son finitos y disjuntos:

Como en un conjunto los elementos no pueden repetirse, si A y B tienen elementos en

comn, al sumar sus elementos se contaran los elementos comunes ms de una vez. Por
ejemplo:

{1, a, } y {b, a, 5} tienen ambos tres elementos, pero su unin {1, a, , b, 5} tiene cinco
elementos y no seis.

Por ello, es necesario eliminar las repeticiones al contar los elementos de A B:

Dados dos conjuntos finitos A y B :

Esta frmula se generaliza para el caso ms complicado de una unin de un nmero

arbitrario de conjuntos finitos. Por ejemplo en el caso de tres conjuntos se tiene:

y en general se tiene el llamado principio de inclusin-exclusin:

Dada una coleccin finita de conjuntos A1, ..., An :

En el caso de que alguno de los conjuntos involucrados sea infinito, las expresiones
anteriores siguen siendo vlidas, entendindolas como afirmaciones relativas a cardinales
infinitos (con ciertas modificaciones).

Interseccin de conjuntos
Dados dos conjuntos A y B, su interseccin es otro subconjunto cuyos elementos,
necesariamente, pertenecen a los dos conjuntos A y B:
La interseccin de dos conjuntos A y B es otro conjunto A B cuyos elementos son los
elementos comunes a A y B :

Ejemplo.

Sean A = {5, , , c} y B = {, c, 0, , 5, R}. Entonces la interseccin es A B =

{5, c}.

Sean los conjuntos de nmeros naturales C = {n: n es una potencia de 2} y D =

{n: n es un cubo}. Su interseccin es C D = {n: n es una potencia de 2 y un cubo}
= {n: n es una potencia de 2 cuyo exponente es mltiplo de 3} = {8, 64, 512, ...}.

Sean los conjuntos de nmeros pares e impares. Su interseccin es el conjunto

vaco , ya que no existe ningn nmero natural que sea par e impar a la vez.

Cuando la interseccin de dos conjuntos es vaca, se dice que son disjuntos:

Dos conjuntos A y B se dicen disjuntos si su interseccin es el conjunto vaco:

Generalizaciones

La interseccin de un nmero finito de conjuntos, superior a dos, se define teniendo en

cuenta que, debido a la propiedad asociativa (ms abajo), el orden en el que se intersequen
los conjuntos es irrelevante:

La definicin ms general en teora de conjuntos se refiere a una familia de conjuntos, un

conjunto cuyos elementos son conjuntos a su vez:

Sea M una familia de conjuntos. Su interseccin M se define como:

De este modo, la interseccin de un nmero finito de conjuntos es slo un caso particular

de esta definicin general:

A B = M, donde M = {A, B}

A1 ... An = M, donde M = {A1, ..., An}

La interseccin general de conjuntos se denota de diversas maneras:

donde esta ltima se aplica en el caso de que utilicemos un conjunto ndice,
definiendo M como {Ai: i I}.

Propiedades

De la definicin de interseccin puede deducirse directamente:

Idempotencia. La interseccin de un conjunto A consigo mismo es el propio A :

La interseccin de A y B es un subconjunto de ambos:

La interseccin de un conjunto B con un conjunto A que lo contenga, deja

a B inalterado:

La interseccin de conjuntos posee tambin propiedades similares a las operaciones con

nmeros:

Propiedad asociativa. La interseccin de los conjuntos A y B Ces igual a la

interseccin de los conjuntos A B y C :

Propiedad conmutativa. La interseccin de los conjuntos A y Bes igual a la

interseccin de los conjuntos B y A :

Elemento absorbente. La interseccin de un conjunto A con el conjunto

vaco es :

Todas estas propiedades se deducen de propiedades anlogas para la conjuncin lgica.

En relacin con la operacin de unin existen unas leyes distributivas:

Propiedad distributiva

A (B C) = (A B) (A C), y por tanto:

A (A B) = A

A (B C) = (A B) (A C), y por tanto:

A (A B) = A

Se cumple que ABC AB A AB ABC donde es el conjunto

universal.

Diferencia de conjuntos

Dados dos conjuntos A y B, su diferencia es el conjunto que contiene todos los elementos
de A que no estn en B:

La diferencia de A menos B (o entre A y B) es otro conjunto A \ B (o tambin A B) cuyos

elementos son todos aquellos elementos de A que no lo sean de B:

La diferencia entre A y B tambin se denomina complemento relativo de B en A, y se

denota AB, cuando el segundo es un subconjunto del primero. Este nombre proviene de la
relacin entre las operaciones de diferencia y complemento (ver ms abajo). La
norma ISO da preferencia a la notacin con barra invertida.

Ejemplo.

Sean A = {, 5, z, R, 0} y B = {0, p, 9, z, }. Sus diferencias son A \ B = {,

5, R} y B \ A = {p, 9, }

Sean los conjuntos de nmeros naturales P = {n: n es par} y P = {n: n es primo}. La

diferencia P \ P es entonces {n: n es par y no es primo} = {n: n es par y compuesto}
= {4, 8, 6, ...}. Por otro lado, P \ P = {n: n es primo y no es par} = {n: n es primo
e impar} = {3, 5, 7, 11, ...}.

En la introduccin se mostr que la diferencia P \ N es el conjunto vaco.

Adems, P \ I es igual a P: ningn nmero par es a la vez un nmero impar.
Propiedades

De la definicin de la diferencia de conjuntos, puede deducirse inmediatamente.

Elemento neutro. La diferencia entre un conjunto y el conjunto vaco es el propio

conjunto:

La diferencia de un conjunto menos l mismo es el conjunto vaco:

Estas igualdades son un caso particular de la siguiente propiedad:

La diferencia entre dos conjuntos es el conjunto vaco si y slo si el primero es

un subconjunto del segundo:

La diferencia entre dos conjuntos es igual al primer conjunto si y slo si ambos

conjuntos son disjuntos:

La interseccin de dos conjuntos es la parte que tienen en comn, mientras que la diferencia
es la parte que no comparten. Esto se traduce en la siguiente propiedad:

Dados dos conjuntos, su interseccin y su diferencia son disjuntos entre s, y su unin es el

primero de los conjuntos iniciales:

Esto quiere decir que la interseccin y la diferencia entre A y B son una

(posible) particin de A.

La diferencia de conjuntos est muy relacionada con el complemento de un conjunto:

El complemento de un conjunto es la diferencia entre el conjunto universal y l mismo:

Es por esto que la diferencia de dos conjuntos, A menos B, se denomina tambin

el complemento relativo de B respecto de A: A \ B es el complemento absoluto de B,
considerando a A como el conjunto universal . Las leyes de De Morgan y otras propiedades
del complemento de un conjunto tienen entonces su contrapartida en la diferencia de
conjuntos, si se tiene en cuenta que:

Si se considera un conjunto universal, la diferencia entre dos conjuntos es la interseccin

del primero con el complemento del segundo:

Tambin es de hacer notar que si:

Complemento de un conjunto

Dado un conjunto A, su complementario es el conjunto formado por los elementos que no

pertenecen a A:

El complementario de A es otro conjunto A cuyos elementos son todos aquellos que no

estn en A:

Esta definicin presupone que se ha especificado un conjunto universal U, pues de otro

modo, en la afirmacin todos los x que no estn en A, la palabra todos es ambigua. Si
se menciona explcitamente el conjunto universal U, entonces el complementario de A es el
conjunto de todos los elementos de U que no estn en A, por lo que la relacin con
la diferencia es clara:

Por otro lado, considerando un conjunto universal, la diferencia entre dos conjuntos puede
expresarse utilizando la nocin de complementariedad:

Ejemplo.

El complementario del conjunto de todos los hombres es el conjunto de todas

las mujeres (hablando de personas).

Hablando de nmeros naturales, el complementario del conjunto {1, 5, 6, 7, 8,

10} es el conjunto {2, 3, 4, 9, 11, 12, ...}.
 El complementario del conjunto A en la imagen es la zona sombreada de azul (el
conjunto universal U es toda el rea del rectngulo).

Propiedades

Puesto que el conjunto universal contiene todos los elementos en consideracin, y

el conjunto vaco no contiene a ninguno, se tiene lo siguiente:

Puesto que la nocin de complementariedad est relacionada con la negacin en lgica, la

primera posee propiedades similares a la segunda:

Propiedad involutiva. El complementario del complementario de Aes el propio A:

La unin de un conjunto y su complementario es el conjunto universal:

Un conjunto y su complementario son disjuntos:

El complementario de A est contenido en el complementario de

cualquier subconjunto de A:

Existen tambin unas relaciones entre las operaciones de unin e interseccin a travs del
complemento:

Leyes de De Morgan

El complementario de la unin de dos conjuntos es la interseccin de los

complementarios:

El complementario de la interseccin de dos conjuntos es la unin de los

complementarios:
Diferencia simtrica
Dados dos conjuntos A y B, su diferencia simtrica, A B, es un conjunto que contiene los
elementos de A y los de B, excepto los que son comunes a ambos:

La diferencia simtrica de dos conjuntos A y B es otro conjunto A B cuyos elementos

son todos los elementos de A o B, a excepcin de los elementos comunes a ambos:

si y slo si, o bien o bien

Ejemplo.

Sean A = {a, , 5, Z} y B = {8, #, a, , }. La diferencia simtrica es A B = {5, ,

#, Z, 8}.

Sean los conjuntos de polgonos T = {pentgonos} y R = {polgonos regulares}. La

diferencia simtrica contiene los polgonos regulares y pentgonos que no sean
ambas cosas a la vez, o sea: R T = {Pentgonos irregulares y polgonos regulares
que no posean 5 lados}.

La definicin de la diferencia simtrica puede reducirse fcilmente a las operaciones

de unin, interseccin y diferencia:

Generalizaciones

La diferencia simtrica es conmutativa y asociativa por lo que al tomar la diferencia

simtrica de ms de dos conjuntos, el orden en el que se realizan las operaciones es
irrelevante (ver ms abajo). As es que se puede definir la diferencia simtria de una familia
de conjuntos finita:

Puede comprobarse que una definicin alternativa para esta diferencia de varios conjuntos
es incluir slo los elementos que aparecen un nmero impar de veces:

Propiedades

De la definicin de diferencia simtrica puede deducirse directamente:

 Nilpotencia. La diferencia simtrica de un conjunto consigo mismo es el conjunto
vaco:

La diferencia simtrica de un conjunto y uno de sus subconjuntos es

la diferencia entre ellos:

La diferencia simtrica tiene propiedades semejantes a las operaciones con nmeros:

Propiedad asociativa. La diferencia simtrica de los conjuntos Ay B C es igual

que la diferencia simtrica de los conjuntos A B y C :

Propiedad conmutativa. La diferencia simtrica de los conjuntos A y B es igual a

la diferencia simtrica de los conjuntos B y A :

Elemento neutro. La diferencia simtrica de un conjunto A con el conjunto vaco es

el mismo conjunto A:

Adems, con respecto a la interseccin existe una ley distributiva:

Propiedad distributiva:

Las propiedades de la interseccin y la diferencia simtrica son similares a las del producto
y la suma en Z2. Esto implica que el conjunto potencia de un conjunto dado X tiene
estructura de anillo considerando estas dos operaciones. Este anillo se corresponde (es
isomorfo) al anillo de las funciones de X con valores en Z2, con la suma y producto punto a
punto. La correspondencia asigna a cada subconjunto de X su funcin caracterstica.

Producto cartesiano
el producto cartesiano de dos conjuntos es una operacin, que resulta en otro conjunto,
cuyos elementos son todos los pares ordenados que pueden formarse de forma que el
primer elemento del par ordenado pertenezca al primer conjunto y el segundo elemento
pertenezca al segundo conjunto.

Un par ordenado es una coleccin de dos objetos distinguidos como primero y segundo, y
se denota como (a, b), donde a es el primer elemento y b el segundo elemento. Dados
dos conjuntos A y B, su producto cartesiano es el conjunto de todos los pares ordenados que
pueden formarse con estos dos conjuntos:

El producto cartesiano de A y B es el conjunto A B cuyos elementos son los pares

ordenados (a, b), donde a es un elemento de Ay b un elemento de B:

Puede definirse entonces el cuadrado cartesiano de un conjunto como A2 = A A.

Ejemplo: Sea el conjunto de tambin de los todos los nmeros enteros Z = {..., 2, 1, 0,
+1, +2, ...}. El producto cartesiano de Z consigo mismo es Z2 = Z Z = { (0,0), (0, +1), (0,
1), (0, +2), ..., (+1, 0), ... (1, 0), ... }, es decir, el conjunto de los pares ordenados cuyas
componentes son enteros. Para representar los nmeros enteros se utiliza la recta numrica,
y para representar el conjunto Z2 se utiliza un plano cartesiano.
Generalizaciones

Caso finito: Dado un nmero finito de conjuntos A1, A2, ..., An, su producto cartesiano se
define como el conjunto n-tuplas cuyo primer elemento est en A1, cuyo segundo elemento
est en A2, etc.

El producto cartesiano de un nmero finito de conjuntos A1, ..., An es el conjunto de las n-

tuplas cuyo elemento k-simo pertenece a Ak, para cada 1 k n:

Puede definirse entonces potencias cartesianas de orden superior a 2, como A3 = A A A,

etc. Dependiendo de la definicin de n-tupla que se adopte, esta generalizacin puede
construirse a partir de la definicin bsica como:

o construcciones similares.

Caso infinito: En el caso de una familia de conjuntos arbitraria (posiblemente infinita), la

manera de definir el producto cartesiano consiste en cambiar el concepto de tupla por otro
ms cmodo. Si la familia est indexada, una aplicacin que recorra el conjunto ndice es el
objeto que distingue quin es la entrada k-sima:

El producto cartesiano de una familia indexada de conjuntos F = {Ai}i Ies el conjunto de

las aplicaciones f : I F cuyo dominio es el conjunto ndice I y sus imgenes son
elementos de algn Ai; que cumplen que para cada i I se tiene f(i) Ai:

donde F denota la unin de todos los Ai. Dado un j I, la proyeccin sobre la

coordenada j es la aplicacin:

En el caso de una familia finita de conjuntos {A1, ..., An} indexada por el conjunto In = {1,
..., n}, segn la definicin de n-tupla que se adopte, o bien las aplicaciones f : In i Ai de
la definicin anterior son precisamente n-tuplas, o existe una identificacin natural entre
ambos objetos; por lo que la definicin anterior puede considerarse como la ms general.

Sin embargo, a diferencia del caso finito, la existencia de dichas aplicaciones no est
justificada por las hiptesis ms bsicas de la teora de conjuntos. Estas aplicaciones son de
hecho funciones de eleccin cuya existencia slo puede demostrarse en general si se asume
el axioma de eleccin. De hecho, la existencia de funciones de eleccin (cuando todos los
miembros de F son no vacos) es equivalente a dicho axioma.

Propiedades

El conjunto vaco acta como el cero del producto cartesiano, pues no posee elementos para
construir pares ordenados:

Un producto cartesiano donde algn factor sea el conjunto vaco es vaco. En particular:

El producto cartesiano de dos conjuntos no es conmutativo en general, salvo en casos muy

especiales. Lo mismo ocurre con la propiedad asociativa.

En general:

Puesto que el producto cartesiano puede representarse como una tabla o un plano
cartesiano, es fcil ver que el conjunto producto es el producto de los cardinales de cada
factor:

El producto cartesiano de un nmero finito de conjuntos finitos es finito a su vez.

En particular, su cardinal es el producto de los cardinales de cada factor:

El producto cartesiano de una familia de conjuntos no vacos que incluya algn

conjunto infinito es infinito a su vez.

En teora de conjuntos, la frmula anterior de cardinal del producto cartesiano como

producto de los cardinales de cada factor, sigue siendo cierta utilizando cardinales infinitos.

Teoras Axiomticas de Conjuntos

Las teoras axiomticas de conjuntos son colecciones precisas de axiomas escogidos para
poder derivar todas las propiedades de los conjuntos con el suficiente rigor matemtico.

Axiomas de Zermelo-Fraenkel
La teora de conjuntos de Zermelo-Fraenkel toma como primitivos los conceptos
de conjunto y de pertenencia y consta de los diez axiomas siguientes:
1. Axioma de extensionalidad. Dos conjuntos X e Y son iguales (lo que se representa
por X=Y) nicamente si contienen los mismos elementos. Ms formalmente, y en la
simbologa usual,

2. Axioma del conjunto vaco. Existe un conjunto (representado por ) sin elementos.
Esto es,

3. Axioma de pares. Dados cualesquiera conjuntos X e Y, existe otro conjunto,

representado por {x,y}, cuyos elementos son nicamente X e Y. Esto es,

4. Axioma de la unin. Dada cualquier coleccin de conjuntos C, existe un conjunto,

representado por Uc y llamado unin de C, que contiene todos los elementos de cada
conjunto de C. Esto es,

5. Axioma del conjunto potencia. Para cualquier conjunto x existe otro conjunto,
representado por P(x), que contiene todos los subconjuntos de x. En smbolos,

6. Esquema axiomtico de especificacin. Sea una frmula de un lenguaje de primer

orden que contenga una variable libre v. Entonces, para cualquier conjunto x existe un

conjunto y cuyos elementos son aquellos elementos a de x que cumplen .

Formalmente,

7. Esquema axiomtico de reemplazo. Si es una sentencia tal que para cualquier

elemento a de un conjunto x el conjunto existe, entonces existe una
funcin f:xy tal que f(a)=y. Formalmente, si

Entonces,

8. Axioma de infinitud. Existe un conjunto x tal que y tal que si ,

entonces . En smbolos,
9. Axioma de regularidad. Para todo conjunto no vaco x existe un conjunto tal
que . Esto es, en trminos formales,

10. Lema de Zorn. Todo conjunto inductivo no vaco tiene elemento maximal

En un principio Zermelo trat de probar el "Lema de Zorn" a partir de los otros nueve
axiomas, pero no lo consigui, adems, posteriormente los Teoremas de Incompletitud de
Gdel probaron que el Lema de Zorn no era demostrable a partir de los restantes axiomas.
Por lo tanto se aadi como dcimo axioma de la teora.

Es equivalente a Axioma de eleccin. Dada una familia de conjuntos no vacos podemos

coger un elemento de cada conjunto. Este axioma puede expresarse de manera equivalente
a, dado un conjunto cualquiera x, existe una funcin f que elige un elemento de cada
conjunto no vaco de x:

Teora de conjuntos de Von Neumann-Bernays-Gdel

La teora de conjuntos de von Neumann-Bernays-Gdel (denotada NBG) es una teora
de conjuntos axiomtica. Su nocin primitiva es la de clase, en lugar de conjunto como en
la teora de Zermelo-Fraenkel (denotada ZF). A diferencia de otras teoras de conjuntos,
NBG es finitamente axiomatizable.

Siendo una teora de conjuntos, las nociones primitivas de NBG

son clase X y pertenencia . Sin embargo, aun cuando las clases retienen su significado
como colecciones de objetos, se reserva la palabra conjunto para un tipo especial de
clases con una propiedad adicional:

(NBG) Un conjunto X es una clase que est contenida en alguna otra clase:

A las clases que no son conjuntos se las denomina clases propias. Entre las clases propias
se encuentran la clase universal V, la clase de todos los ordinales On, etc. Sin embargo, los
axiomas de NBG postulan algunas propiedades slo para conjuntos no para cualquier
clase, de tal modo que en NBG se evitan las clsicas paradojas de la teora de conjuntos.

En los axiomas de NBG se distingue entre clase y conjunto, y habitualmente se utilizan

letras minsculas para especificar conjuntos:

Las expresiones
donde es una frmula cualquiera, son abreviaturas para

El primer grupo de axiomas es bsicamente equivalente a sus correspondientes versiones

en ZF.

Extensionalidad. Dos clases son iguales si y slo si tienen los mismos elementos.

Par. Dados dos conjuntos existe un tercero que los contiene slo a ambos:

Unin. Dados dos conjuntos, existe un tercero que contiene a los elementos de
ambos:

Conjunto vaco. Existe un conjunto sin elementos:

Reemplazo. Dada una clase F que sea una funcin, la imagen de de un conjunto
cualquiera por F es tambin un conjunto:

Esta formulacin del axioma de reemplazo est comprendida en una nica sentencia, a
diferencia de la formulacin habitual en ZF que es un esquema axiomtico.

Axiomas de formacin de clases

NBG tiene la propiedad particular de ser finitamente axiomatizable, esto es, puede
establecerse con un nmero finito de axiomas. ZF no comparte esta propiedad, pues su
axioma de reemplazo es en realidad un esquema axiomtico, una afirmacin del tipo:
Dada una frmula (x) la siguiente sentencia es un axioma de ZF.... En NBG tambin
puede utilizarse un esquema de formacin de clases a partir de una frmula dada, pero es
posible demostrar dicho esquema a partir de una coleccin finita de casos particulares:

Interseccin. Dadas dos clases existe una tercera que contiene los elementos
comunes a ambas:
 Complemento. Dada una clase existe otra que contiene todos conjuntos que no
estn en la primera:

Pertenencia. Existe la clase de la relacin binaria de pertenencia entre conjuntos:

Dominio. El dominio entendido en el sentido del dominio de una funcin de

una clase siempre existe:

Producto cartesiano. Dada una clase X, existe otra que contiene todos los pares
ordenados con primeros elementos en X:

Y por ltimo dos axiomas que permutan las n-tuplas ordenadas de una clase dada de
diversas maneras:

Permutacin 1.

Permutacin 2

De este modo, combinando estos casos particulares con los axiomas generales puede
demostrarse un esquema axiomtico para frmulas que hablen solamente de conjuntos:

Esquema de formacin de clases

Dada una frmula (X1, ..., Xn) con al menos las variables libres indicadas
cuyas nicas variables cuantificadas son conjuntos, la expresin

es un teorema de NBG.

Si se prescinde de estos axiomas y en su lugar se adopta el esquema de formacin de clases,

se obtiene una axiomatizacin alternativa de NBG, pero no finita. Si se elimina de estos
axiomas la restriccin a frmulas sin variables de clase cuantificadas se obtiene la teora de
conjuntos de Morse-Kelley.
Axiomas adicionales

Adems de estos axiomas iniciales, es necesaria una serie de axiomas para que la teora de
conjuntos contenga los aspectos estndar que se usan en la matemtica.

Partes. Dado un conjunto, existe otro formado por la totalidad de los subconjuntos
del primero:

Infinito. Existe un conjunto inductivo:

Regularidad. Toda clase no vaca contiene una clase disjunta consigo misma:

El axioma de eleccin puede aadirse tambin a la lista:

Eleccin. Dado un conjunto, existe una funcin de eleccin sobre sus elementos no
vacos:

Teora de conjuntos de Morse-Kelley

La teora de conjuntos de Morse-Kelley (MK) es una teora axiomtica de conjuntos. Es
similar a la teora de Von Neumann-Bernays-Gdel, pero MK es ms potente y no son
equivalentes.

Ontologa y notacin

Al igual que en NBG, los axiomas de MK se refieren a clases y pertenencia, definiendo

conjunto como las clases que pertenecen a alguna otra clase. Toda la notacin de
NBG puede adoptarse aqu.

Axiomas generales

Son idnticos a los axiomas generales de NBG.

Extensionalidad. Dos clases son iguales si y slo si tienen los mismos elementos:

Par. Dados dos conjuntos existe un tercero que los contiene slo a ambos:
Unin. Dados dos conjuntos, existe un tercero que contiene a los elementos de ambos:

Conjunto vaco. Existe un conjunto sin elementos:

Reemplazo. Dado un conjunto x y una clase unvoca A, existe el conjunto dado por la
imagen de x por A:

De este axioma se demuestra un teorema ms intuitivo: Si F:AB es una funcin

suprayectiva y A es un conjunto, entonces B tambin lo es.

Esquema de formacin de clases

La principal diferencia entre MK y NBG es que en MK se adopta un esquema de formacin

de clases sin restringirse a frmulas normales:

Esquema de formacin de clases: Para toda frmula (xi) donde Y no est libre
es un axioma de MK.

Axiomas adicionales

De manera idntica a NBG, adems de estos axiomas iniciales, es necesaria una serie de
axiomas para que la teora de conjuntos contenga los aspectos estndar que se usan en la
matemtica.

Partes. Dado un conjunto, existe otro formado por la totalidad de los subconjuntos del
primero:

Infinito. Existe un conjunto biyectable con un subconjunto propio de s mismo:

Otro enunciado equivalente a este que tambin suele adoptarse es el que asegura la
existencia de conjuntos inductivos:

Regularidad. Toda clase no vaca contiene una clase disjunta consigo misma:
El axioma de eleccin puede aadirse tambin a la lista:

Eleccin. Dado un conjunto, existe una funcin de eleccin sobre sus elementos no vacos: