个理想，而域的理想只有0及整个域本身，又σ(1)=1，故其核不能为整个域，即知核为0。因此这个环同态必定是单态射，而"E"和在"F"中的σ("E")同构。所以可称两个域之间的任何同态为嵌入。
序理论.关于序理论中的嵌入，可参见序嵌入。