A natural quantity is usually a attribute of a collection, utilised to describe its measurement (how it is several) and distinguish it from other collections. is often a commutative monoid with id element 0. It's a absolutely free monoid on a single generator. This commutative monoid satisfies the cancellation home, https://justpaste.it/fgv8j