spezielle Äquivalenzrelation.

Es sei A eine Menge, auf der eine Addition und eine Multiplikation erklärt ist. Dann heißt eine Äquivalenzrelation „∼“ auf A Kongruenzrelation, wenn für a₁, a₂, b₁, b₂ ∈ A aus a₁ ∼ a₂ und b₁ ∼ b₂ sowohl (a₁ + b₁) ∼ (a₂ + b₂) als auch (a₁ · b₁) ∼ (a₂ · b₂) folgt.