Definition:Closed Set under Closure Operator