Definition:Closed under Operation