Teoria dos conjuntos/Explorando os axiomas da extensão, separação, par e união: diferenças entre revisões
[edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
m cat |
|||
Linha 138:
e <math>\{ \alpha \} \subseteq \beta\,</math>.
Veremos mais adiante um resultado ainda mais forte que este.
=== A interseção de dois ordinais é um ordinal ===
|