Espace Compactement Généré

Un espace topologique X est compactement généré (espace k) si sa topologie est déterminée par ses sous-espaces compacts : un ensemble A ⊆ X est fermé (ouvert) dans X si et seulement si A ∩ K est fermé (ouvert) dans K pour tout compact K ⊆ X ; équivalemment X porte la topologie finale relativement aux inclusions de ses compacts.