Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
compact_space [2014/10/25 16:57] nikolaj |
compact_space [2014/10/25 16:59] 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: $K\subseteq\bigcup \mathcal{T}''$ | | | @#55EE55: postulate | @#55EE55: $K\subseteq\bigcup \mathcal{T}''$ | | ||
+ | | @#55EE55: postulate | @#55EE55: $\mathcal{T}''$ ... finite | | ||
==== Discussion ==== | ==== Discussion ==== |