Definition:Closure Operator/Ordering

Equivalence of Definitions
These definitions are shown to be equivalent in Equivalence of Definitions of Closure Operator.