noun
Definition: A collection of elements that can be combined using a specific operation, where the combination of any two elements in the set results in another element from the same set, and the operation follows a rule of associativity.
Example: In algebra, a semigroup is often used to study the properties of certain mathematical structures.