théorème de fermeture/complémentaire de Kuratowski

Théorème

théorème selon lequel le monoïde engendré en prenant les fermetures et les complémentaires d'un ensemble donné dans un espace topologique a une taille d'au plus 14, atteinte par exemple par l'ensemble (0, 1) ∪ (1, 2) ∪ {3} ∪ ([4, 5] ∩ ℚ) de réels