Generalized quasiorders and the Galois connection $${\textbf {End}}$$–$$\varvec{{{\,\textrm{gQuord}\,}}}$$
Generalized quasiorders and the Galois connection $${\textbf {End}}$$–$$\varvec{{{\,\textrm{gQuord}\,}}}$$
Abstract Equivalence relations or, more general, quasiorders (i.e., reflexive and transitive binary relations) $$\varrho $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>ϱ</mml:mi> </mml:math> have the property that an n -ary operation f preserves $$\varrho ,$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ϱ</mml:mi> <mml:mo>,</mml:mo> </mml:mrow> </mml:math> i.e., f is a polymorphism of $$\varrho ,$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>ϱ</mml:mi> …