Algèbre de Clôture-Complément de Kuratowski

La structure algébrique engendrée par l'itération des opérations topologiques de clôture et de complément sur les sous-ensembles d'un espace topologique ; elle enregistre tous les ensembles distincts obtenus à partir d'un sous-ensemble donné par des applications successives de la clôture et du complément.