Definition:Closed Algebraic Structure