ap.algebra
Monoids are semigroups with a neutral element (or zero)
Domain of the semigroup
The neutral element of this monoid
Binary operation of the semigroup
num * s, for num >= 0
num * s
num >= 0
Monoids are semigroups with a neutral element (or zero)