Definition:Closure Operator

Power Set
When the ordering in question is the subset relation on a power set, the definition can be expressed as follows:

Also see

 * Definition:Closed Set under Closure Operator
 * Definition:Closed Element under Closure Operator
 * Definition:Closure of Set under Closure Operator
 * Definition:Closure of Element under Closure Operator


 * Closure (Topology), which is demonstrated to be an instance of a closure operator in Topological Closure is Closure Operator.