Eine Kongruenzklasse ist eine Äquivalenzklasse für eine
bestimmte Art von Äquivalenz, nämlich in der Regel
\(a\sim b\iff a-b\) teilbar durch eine bestimmte ganze Zahl
oder ein bestimmtes Polynom oder Element eines Unterraums etc. etc..
Kongruenklassen sind Äquivalenzklassen, aber Äquivalenzklassen
sind viel allgemeiner, also häufig keine Kongruenzklassen.