"f" 的核。这个关系也是 "X" 上的一个同余关系，因此在其商集 "X"/~ 上也可以自然地定义一个结构：["x"] * ["y"] = ["x" * "y"]。这时，"X" 通过同态 "f" 在 "Y" 中的像必然同构于 "X"/~。这就是所谓的同构基本定理之一。注意到在有些情况下（比如说在群结构或环结构时），仅仅一个等价类 "K" 就可以决定商集的结构，因此这时我们可以将它记作 "X"/"K"（一般读作 "X" 模 "K" ）。在这种情况下，一般将 "K"，而不是 ~，称作 "f" 的核（参见正规子群