Remark

A similar definition can be made for semi-groups, except that assertions about the unit should be removed.

This remark will apply more often:

• More notions for monoids apply to semi-groups;
• similar notions apply to other structures, to be defined later (such as groups, rings, and fields).