Compact non séquentiellement compact (espaces non métriques)

[formule] avec la topologie produit

Compact par Tychonoff, mais pas séquentiellement compact (il existe des suites sans sous-suite convergente). En espaces métriques, compact [formule] séquentiellement compact, mais pas en topologie générale.