Lukas' Notes

algebra

Definition

Semigroup

A semigroup is a groupoid with associativity: