A natural variety is a attribute of a collection, made use of to explain its size (how it is numerous) and distinguish it from other collections. is usually a commutative monoid with id ingredient 0. It's a free monoid on a person generator. This commutative monoid satisfies the cancellation property, https://hairfallcontrolcomboformen.blogspot.com/