is not really closed less than subtraction (that is definitely, subtracting just one natural from A further doesn't often lead to One more natural), signifies that N displaystyle mathbb N is usually a commutative monoid with id element 0. It is just a free of charge monoid on just https://justpaste.it/esxyw