Definition:Closure (Abstract Algebra)