A survey of congruences and quotients of partially ordered sets.
NJ Williams - EMS Surveys in Mathematical Sciences, 2024 - ems.press
A quotient of a poset P is a partial order obtained on the equivalence classes of an
equivalence relation  on P;  is then called a congruence if it satisfies certain conditions …
equivalence relation  on P;  is then called a congruence if it satisfies certain conditions …