Teoria dos conjuntos/Axioma da união: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m Adicionando "Teoria dos conjuntos|{{SUBPAGENAME}}" (usando HotCat) |
Sem resumo de edição |
||
Linha 1:
Até agora vimos, usando os axiomas anteriores, como construir conjuntos como <math>1 = \{ \varnothing \}\,</math>, <math>2 = \{ \varnothing, 1 \}\,</math> ou mesmo <math>\{ 2, \{ 2 \}\} = \{ \{ \varnothing, 1 \}, \{ 2 \} \}\,</math>. É estranho, mas não conseguimos (ainda) construir um conjunto ''A'' em que <math>\varnothing \in
O axioma da união é a ferramenta necessária para se construir este tipo de conjunto, ou seja, a partir de um conjunto ''A'', forma-se um conjunto ''B'' cujos elementos são tais que <math>x \in B \iff x \in y \in A\,</math>.
| |||