Axioma de unificación
El axioma de unión es el siguiente enunciado de la teoría de conjuntos : “De cualquier familia de conjuntos , se puede formar al menos uno de esos conjuntos , cada elemento del cual pertenece a al menos un conjunto de esta familia ”. Formalmente:
Otras formulaciones del axioma de unificación
Notas
En el axioma de unión se indica el tipo de conjuntos (elementos de conjuntos de la familia ), los cuales deben ser elementos del conjunto formado . Al mismo tiempo, el axioma de unión no contiene un algoritmo para encontrar todos los elementos del conjunto generado .