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

http://gauss.math.luc.edu/greicius/Math201/Fall2012/Lectures/congruences.article.pdf

http://www3.govst.edu/wrudloff/CPSC438/CPSC438/CH10/Chapter10/Section.10.5.pdf