Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
compact_space [2014/10/25 16:57] nikolaj |
compact_space [2014/10/25 16:58] nikolaj |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| | @#FFFDDD: for all | @#FFFDDD: $\mathcal{T'}\subseteq \mathcal{T}$ | | | @#FFFDDD: for all | @#FFFDDD: $\mathcal{T'}\subseteq \mathcal{T}$ | | ||
| | @#FFFDDD: for all | @#FFFDDD: $K\subseteq \bigcup \mathcal{T}'$ | | | @#FFFDDD: for all | @#FFFDDD: $K\subseteq \bigcup \mathcal{T}'$ | | ||
| - | | @#FFFDDD: exists | @#FFFDDD: $\mathcal{T}''\subseteq \mathcal{T}'$, $\mathcal{T}''$ ... finite | | + | | @#FFFDDD: exists | @#FFFDDD: $\mathcal{T}''\subseteq \mathcal{T}'$ | |
| + | | @#55EE55: postulate | @#55EE55: $\mathcal{T}''$ ... finite$ | | ||
| | @#55EE55: postulate | @#55EE55: $K\subseteq\bigcup \mathcal{T}''$ | | | @#55EE55: postulate | @#55EE55: $K\subseteq\bigcup \mathcal{T}''$ | | ||
