Definition 2.5.3.  Let S be a semigroup such that ∃ e ∈ S : e is an identity of S. We define:
SMon:= [S, , 1S] if S = [S, ] (S is a set, :S × S → S is an operation on S)