We define a congruence on a transitive relational system. We show that these congruences are in a one-to-one correspondence with LU-morphisms whenever the relation is a quasiorder.
We define a congruence on a transitive relational system. We show that these congruences are in a one-to-one correspondence with LU-morphisms whenever the relation is a quasiorder. (en)
Definují se kongruence na tranzitivních relačních systémech a ukazuje se, že v případě kvaziuspořádání tyto kongruence jednoznačně odpovídají LU-morfismům. (cs)