compact

(latin compactus, resserré)

Se dit d'un espace topologique qui est à la fois quasi compact et séparé.

MATHÉMATIQUES

Une partie d'un espace compact est compacte si et seulement si elle est fermée ; une partie compacte d'un espace métrique est fermée bornée ; dans un espace vectoriel sur ℝ ou ℂ normé et de dimension finie (telle que n ou n), une partie est compacte si et seulement si elle est fermée bornée (par exemple les segments et les pavés).