Definition:Kuratowski Closure Operator

Also see

 * Equivalence of Definitions of Kuratowski Closure Operator