Kuratowski Closure-Complement Algebra

The algebraic structure generated by iterating the set operations of topological closure and set-complement on subsets of a topological space; it records all distinct sets obtainable from a given subset by successive applications of closure and complement.