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