Teoria dos conjuntos/Axioma do par: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Mais texto, com construções dos números 1 e 2 e do par ordenado |
|||
Linha 34:
e o axioma da extensão garante que todos conjuntos z que satisfazem <math> x \in z \land y \in z \land \forall w \ (w \in z \rightarrow (w = x \lor w = y))\,</math> são iguais.
== Definição de { x, y }
Como esse conjunto que tem o par de conjuntos como elementos é único, podemos dar um ''nome'' para ele, a saber:
Linha 43:
: <math>\{ x \} = \{ x , x \}\,</math>
Observação: por analogia, também é comum a notação
: <math>\{ \} = \varnothing\,</math>
Generalizar esta notação, ou seja, definir o que seria ''{x,y,z}'' ainda não é possível: isto será visto com o axioma da união.
== Propriedades ==
| |||