commutative semigroup

Commutative Semigroup

Commutative Semigroup

Mathematically a Commutative 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: Group initializer parameters must have

• add closed, commutative and associative on reps