semigroup

Semigroup, üzerinde associative binary operation bulunduran bir set'ten meydana gelen yapıdır. Tipik olarak bu binary operation concat olarak isimlendirilir.

Örnek olarak; a, b ve c aşağıdaki concat işlemini gerçekleştirdiğinde bu bir Semigrouptur.

a.concat(b).concat(c) === a.concat(b.concat(c)); // true (associativity)