Álgebra de Clausura-Complemento de Kuratowski
Definición
La estructura algebraica generada al iterar las operaciones de clausura topológica y complemento sobre subconjuntos de un espacio topológico; registra todos los conjuntos distintos obtenibles a partir de un subconjunto dado mediante aplicaciones sucesivas de clausura y complemento.