algebra Definition Semigroup A semigroup (S,∘) is a groupoid with associativity: ∀x,y,z∈S:(x∘y)∘z=x∘(y∘z)