Definition:Closure Operator/Ordering

Also see

 * Equivalence of Definitions of Closure Operator