Can be abbreviated as “THM”. Definition The product of compact spaces is compact in the product topology