A survey of congruences and quotients of partially ordered sets

Nicholas J. Williams

A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $\hat{I}¸$ on $P$; $\hat{I}¸$ is then called a congruence if it satisfies certain co…