Representation of semigroups; actions of semigroups on sets Semigroups mathematics