axiome de Borel-Lebesgue

ou

propriété de Borel-Lebesgue

  • Propriété d'un ensemble E quasi-compact selon laquelle, « de tout recouvrement ouvert de E, on peut extraire un sous-recouvrement fini ».