Etymology

Today it means: A structure similar to a monoid that supports associativity and an identity element, but does not include all the constraints that are required to qualify as a monoid. Full definition →