Definition:Closed Element under Closure Operator