Ordered semigroup (source code)

= Ordered semigroup
{wiki=Ordered_semigroup}

An **ordered semigroup** is a mathematical structure that combines the concepts of semigroups and ordered sets.