Большой англо-русский и русско-английский словарь
мат. kernel congruence, nuclear congruence
Математическая энциклопедия
гомоморфизма 
алгебраич. систем - конгруэнция 
на алгебраич. системе А, состоящая из всех пар 
для к-рых 
Для всякой конгруэнции 
алгебраич. системы существует гомоморфизм 
этой системы, для к-рого 
является Я. к. Если 
- Я. к. сильного гомоморфизма 
алгебраич. системы Ана систему А', то канонич. отображение 
где 
есть изоморфизм факторсистемы 
на систему А'.
Лит. см. при статье Гомоморфизм.
Д. М. Смирнов.