is just not shut under subtraction (that's, subtracting a person natural from An additional won't normally bring about A further natural), signifies that N displaystyle mathbb N is often a commutative monoid with id ingredient 0. This is a no cost monoid on a person generator. This commutative monoid https://diigo.com/010idmi