Es seien X {\displaystyle {}X} und Y {\displaystyle {}Y} kompakte topologische Räume.
Dann ist auch der Produktraum X × Y {\displaystyle {}X\times Y} kompakt.