will not be shut underneath subtraction (which is, subtracting a single natural from One more doesn't always cause Yet another natural), means that N displaystyle mathbb N is actually a commutative monoid with identification component 0. This is a no cost monoid on one generator. This commutative monoid satisfies https://hair2glowhaircare.blogspot.com/