Mot : propre
Catégorie : Adj
Définition : Se dit d'une application entre espaces topologiques, telle que la préimage de toute partie compacte soit compacte.