Relácia kongruencie (algebra): Rozdiel medzi revíziami

'''Relácia kongruencie''' alebo '''kongruencia''' je [[ekvivalencia]] na [[algebrická štruktúra|algebre]], ktorá je zlučiteľná so všetkými operáciami na tejto algebre (teda napríklad, ak sú tri páry prvkov ekvivalentné a výsledky nejakej [[operácie (matematika)|operácie]] na týchto pároch sú tiež ekvivalentné, potom existuje pre tieto parypáry zhodnosť).