Closure operator
In mathematics, a closure operator on a set S is a function from the power set of S to itself that satisfies the following conditions for all sets
Closure operators are determined by their closed sets, i.e., by the sets of the form cl(X), since... Wikipedia