Tychonov theorem/Definition

The Cartesian product of compact topological spaces is compact.