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.)
(Tychonoff’s theorem says the product of any collection of compact topological spaces is compact.)

