isn't closed underneath subtraction (which is, subtracting a person natural from An additional isn't going to normally result in Yet another natural), implies that N displaystyle mathbb N can be a commutative monoid with id component 0. It is just a free monoid on one particular generator. This commutative https://herbalmedicinesonline.poetry.blog/