Kongruencja a. przystawanie – relacja równoważności określona w danym systemie algebraicznym. Jedną z najbardziej znanych kongruencji jest przystawanie liczb całkowitych.
Wprowadzenie W algebrze wprowadza się pojęcie jądra homomorfizmu będące dalekim uogólnieniem rozwiązań równania opisywanego przez ten homomorfizm. Jest to naturalnie pojawiające się pojęcie w teorii grup: jądra homomorfizmu danej grupy w inną mają swoją własną nazwę – podgrupa normalna albo dzielnik normalny. Podobnie w teorii pierścieni jądro homomorfizmu danego pierścienia w inny nazywa się ideałem tego pierścienia. Istotą pojęć podgrupy normalnej i ideału jest to, że dla danej grupy czy pierścienia całkowicie wyznaczają one obraz tego homomorfizmu.
Pojęcie jądra homomorfizmu danej grupy (a więc także jej podgrupy normalnej) umożliwia zdefiniowanie „ilorazu” danej grupy przez to jądro (przez jej podgrupę normalną), który sam jest grupą o identycznej strukturze, co obraz homomorfizmu tej grupy – jest to tzw. grupa ilorazowa;