Semigroup: (A,∘) is a semigroup if ∘ is associative. Example: (N∖{0},+) https://de.wikipedia.org/wiki/Halbgruppe