AKIT
English Eesti

congruence relation

kongruents

olemus
algebralise struktuuri ekvivalents \(S\) ,
mis on tehetega kooskõlas

näide
kui binaartehte \(\ast\) korral \(x\, S \,x'\) ja \(y\, S\, y'\) ,
siis \((x \ast y)\, S\, (x' \ast y')\)

seoseid
kongruentsile vastav loomulik projektsioon
on morfism, mistõttu vastav faktorhulk
on samade tehetega algebraline struktuur

üksikasju ja rakendusi
https://www.encyclopedia.com/computing/dictionaries-thesauruses-pictures-and-press-releases/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