is not really closed beneath subtraction (that is definitely, subtracting a single natural from another isn't going to always cause A further natural), means that N displaystyle mathbb N is actually a commutative monoid with identity aspect 0. This is a free of charge monoid on a single generator. https://diigo.com/010idmi