Monoids
A more generic name for monoids binary operation
A more generic name for monoids binary operation