* Let X and Y be sets. Then either they have the same cardinality, or one is smaller than the other.
* Let X be an infinite set. Then there is a bijection between X and the cartesian product of X with itself, X × X.
* Tychonoff's theorem: every product of compact topological spaces is compact.
As far as Tychonoff's theorem goes, you might find this paper interesting: