Mathématiques, informatique, politique et poésie
Un [[Espace topologique|espace topologique]] [[Espace métrisable|métrisable]] \(E\) est [[Compacité|compact]] si et seulement si il est séquentiellement compact, c'est à dire si toute suite de \(E\) admet une [[Valeur d'adhérence d'une suite|valeur d'adhérence]].