Definitions

1. noun

A set of elements with a binary operation that satisfies the associative property, but not necessarily the existence of an identity element or inverse elements.

“The set of integers under addition forms a semigroup because the result of adding any two integers can be added to any other integer, but there is no integer that acts as an identity element.”