Defines an algebraic structure known as a monoid.
The set of the monoid
The operation of the monoid
Optional
The identity element of the monoid (optional if the set is Z, Q, R, C, A, S, M, or GL)
Defines an algebraic structure known as a monoid.