Teoria dos conjuntos/Explorando os axiomas da extensão, separação, par e união: diferenças entre revisões

 

Ou seja, provamos que <math>\alpha \subset \beta \implies \alpha = \min_{\beta} (\beta - \alpha)\,</math> cujo corolário é que <math>\alpha \in \beta\,</math>.

 

=== A união de elementos de um número ordinal é um número ordinal ===

* [[../Axioma do infinito/]]

* [[../Axioma da escolha/]]