等化子
二変数の等化子(つまり、ちょうど二つの写像の等化子)は差核とも呼ばれ、DiffKer(f,g), Ker(f,g), Ker(f − g) などのようにも書かれる。最後の記法は「f, g の差核とは単に差 f − g の核のことである」ことによるもので、この用語の由来でもあり、これが抽象代数学の文脈で後半に現れる理由を説明するものである。さらに言えば、単一の写像 f に対する核は、零写像すなわち値 0 の定値写像との差核 Eq(f, 0) として定式化しなおすことができる。
もちろんこれらの議論は写像の核が 0 の逆像となっているような代数学的な文脈でのことであって、どんな場合にも成り立つというわけではないが、「差核」という用語法に他意はない。