---
up:
  - "[[structure de topologie|espace topologique]]"
tags:
  - s/maths/topologie
aliases:
---

> [!definition] Définition
> Un [[structure de topologie|espace topologique]] $X$ est **compact** si il est [[espace séparé|séparé]] et respecte la [[propriété de Borel-Lebesgue]].
^definition

# Propriétés

# Exemples