olemus
algebralise struktuuri ekvivalents \(S\) , mis on tehetega kooskõlas
= an equivalence relation on an algebraic structure that is compatible in the sense that algebraic operations done with equivalent elements will yield equivalent elements

näiteid
(i) kui binaartehte \(\ast\) korral \(x\, S \,x'\) ja \(y\, S\, y'\) , siis \((x \ast y)\, S\, (x' \ast y')\)
(ii) kongruentsile vastav loomulik projektsioon on morfism, mistõttu vastav faktorhulk on samade tehetega algebraline struktuur

ülevaateid
https://en.wikipedia.org/wiki/Congruence_relation
https://math.hawaii.edu/~jb/math618/os5uh.pdf