Source: wikibot/orthodox-semigroup
= Orthodox semigroup
{wiki=Orthodox_semigroup}
An **orthodox semigroup** is a specific type of algebraic structure that arises in the study of semigroups. A semigroup is a set equipped with an associative binary operation. The concept of an orthodox semigroup relates to the structure of its idempotent elements, which significantly influence the semigroup's properties.