Isn't shut below subtraction (that is, subtracting just one natural from Yet another does not constantly result in A different natural), means that N displaystyle mathbb N is usually a commutative monoid with identity aspect 0. It is just a absolutely free monoid on a person generator. This commutative https://memorypluscapsulesonline.blogspot.com