Ordered semigroup

ID: ordered-semigroup

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

New to topics? Read the docs here!