semigroup

This term is used exclusively within the domain of abstract algebra and mathematical logic. It describes a structure that is more general than a group because it does not require the existence of an identity element or inverse elements for its members.

In a pedagogical context, it is often introduced as a stepping stone to understanding monoids and groups. The primary characteristic is the associativity of the binary operation, meaning the grouping of elements does not change the result of the operation.