semigroup¶

Semigroup¶

Semigroup

Mathematically a Semigroup is a set S along with an associative binary operation * such that

(∀x ∈ S)(∀y ∈ S)(∀z ∈ S) => (x*(y*z)) = ((x*y)*z)

Important

Contract: Semigroup initializer parameters must have