Tychonoff’s theorem gives confidence that our definitions of compactness and product topology are the correct (i.e., most useful) ones.
(Tychonoff’s theorem says the product of any collection of compact topological spaces is compact.)
SOURCE: The Encyclopedia Wikimedia
true = useful!
Love seeing pragmatism amidst the supposedly aetherial pursuit of mathematical truth.