Teoria dos conjuntos/Axioma da união: diferenças entre revisões
| [edição não verificada] | [edição verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 23:
Com as definições da união e dos conjuntos com um elemento e com (possivelmente) dois elementos, podemos definir:
* <math>\{ x, y, z \} = \{ x , y \} \cup \{ z \}\,</math>
* <math>\{ w, x, y, z \} = \{ w, x , y \} \cup \{
* <math>\{ v, w, x, y, z \} = \{ v, w, x , y \} \cup \{ z \}\,</math>
e pode-se continuar definindo conjuntos cada vez maiores. É importante notar que, assim como temos um ''esquema de axiomas'' no [[Teoria dos conjuntos/Axioma da separação|axioma da separação]], aqui temos um ''esquema de definições'' - não iremos explicitamente escrever todas as definições, mas o leitor deve se convencer de que qualquer conjunto com um número finito de elementos pode ser definido desde que haja tempo suficiente para enumerar seus elementos.
| |||