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:58] nikolaj |
compact_space [2014/10/25 16:59] nikolaj |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| | @#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}'$ | | | @#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}''$ | | ||
| + | | @#55EE55: postulate | @#55EE55: $\mathcal{T}''$ ... finite | | ||
| ==== Discussion ==== | ==== Discussion ==== | ||
