is not really closed below subtraction (which is, subtracting a single natural from another isn't going to constantly end in A different natural), implies that N displaystyle mathbb N is usually a commutative monoid with id element 0. This is a free monoid on one particular generator. This commutative https://diigo.com/010ne0u