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: