Axioma de unión

En teoría de conjuntos, el axioma de unión es un axioma que postula que la unión de una colección de conjuntos cualesquiera existe.

Enunciado

El axioma de unión afirma sencillamente que la unión de una familia de conjuntos —el conjunto que contiene todos los elementos de cada conjunto de la familia— existe:

Axioma de unión

En palabras: «para cada conjunto A existe otro, X, compuesto exactamente por los elementos de los elementos de A». Esto permite hablar con propiedad de la unión de un conjunto —la unión de todos sus elementos—:

La unión de dos conjuntos —o un número finito cualquiera— es un caso particular de esta construcción:

y, adoptando el axioma del par, existe siempre.

Other Languages