Isn't shut beneath subtraction (that's, subtracting a person natural from An additional does not always cause One more natural), implies that N displaystyle mathbb N is often a commutative monoid with identification factor 0. It's really a no cost monoid on one particular generator. This commutative monoid satisfies the https://diigo.com/010nfbo