Я́дерная конгруэ́нция гомоморфи́зма $\varphi:A\to A'$ алгебраических систем, конгруэнция $\theta$ на алгебраической системе $A$, состоящая из всех пар $(a,b)\in A\times A$, для которых $\varphi(a) = \varphi(b)$. Для всякой конгруэнции $\theta$ алгебраической системы существует гомоморфизм $\varphi$ этой системы, для которого $\theta$ является ядерной конгруэнцией. Если $\theta$ – ядерная конгруэнция сильного гомоморфизма $\varphi$ алгебраической системы $A$ на систему $A'$, то каноническое отображение $a/\theta\to\varphi(a)$, где $a/\theta=\{x\in A|(x,a)\in\theta\}$, есть изоморфизм факторсистемы $A/\theta$ на систему $A'$.