 Maximal semilattice quotient

In abstract algebra, a branch of mathematics, a maximal semilattice quotient is a commutative monoid derived from another commutative monoid by making certain elements equivalent to each other.Every commutative monoid can be endowed with its "algebraic" preordering ≤ .