- a space is compact if and only if every family of closed subsets having the finite intersection property has non-empty intersection.
This formulation of #compactness is used in some proofs of #Tychonoff's theorem and the #uncountability of the real numbers