kongruencia (lat.)
- matematická ekvivalencia na algebraickej štruktúre, ktorá zachováva všetky jej operácie.