Definition:Closure Operator

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

Also see

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