A product space product_(i element I) X_i is compact iff X_i is compact for all i element I. In other words, the topological product of any number of compact spaces is compact. In particular, compactness is a productive property. As a consequence, every Hilbert cube is compact. This statement implies the axiom of choice, as proven by Kelley.

axiom of choice | compact space | product space