Definition:Closure Operator/Ordering

Also see

 * Equivalence of Closure Operator Definitions