Tychonoff Theorem

- Mathematics & Logic -
Pure Mathematics Dictionary
The statement that any product (with the product topology) of compact topological spaces is compact; in ZF set theory this theorem is equivalent to the Axiom of Choice.