Definition:Kuratowski Closure Operator

Also see

 * Equivalence of Kuratowski Closure Operator Definitions