Teoria dos conjuntos/Axioma da união: diferenças entre revisões

== Definição formal ==

Na linguagem formal, este axioma é:

 

A definição acima implica (pelo [[Teoria dos conjuntos/Axioma da extensão|axioma da extensão]]) que ''B'' é único; existem outras formas equivalentes deste axioma, em que o conjunto cuja existência é postulada é um {{w|superconjunto}} da união. Nestes casos, para se obter a união é preciso aplicar o [[Teoria dos conjuntos/Axioma da separação|axioma da separação]] para a propriedade <math>\phi(X) = (\exists Y, X \in Y \land Y \in A)\,</math>.