is not really closed less than subtraction (that is certainly, subtracting a single natural from One more isn't going to usually cause An additional natural), ensures that N displaystyle mathbb N is actually a commutative monoid with identity element 0. It is just a cost-free monoid on one particular https://www.slideshare.net/slideshow/cureayu-the-best-ayurvedic-brand-in-india-for-everyday-health/282503836