Oración 1: pachón, Elementos ordinables en el ret́ıculo de topoloǵıas Ahora, si Y ⊆ X es tal que X\Y es infinito, y si a ∈ X\Y, entonces se tiene que Y ⊆ Y ∪ {a} y Y ∪ {a} ∈ P(X)\ ⋃ β<ω (P(X),⊆)β, con lo que Y no es maximal en el conjunto ordenadoP(X)\ ⋃ β<ω (P(X),⊆)β ,⊆ , donde ω es el menor ordinal transfinito
Oración 2: (P(X),⊆)ω = ∅, con lo cual tenemos que (P(X),⊆)α = ∅, para todo ordinal α ≥ ω
Conector: por lo tanto
Relación: reasoning
Género: books