Definition:Closure Operator on Set