Théorème de Tychonoff

- Mathematics & Logic -
Pure Mathematics Dictionary
L'énoncé selon lequel tout produit (muni de la topologie produit) d'espaces topologiques compacts est compact ; dans la théorie ZF cet énoncé est équivalent à l'Axiome du Choix.