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.