定義（過去スレpart1の121の拡張）
K と L を可換体とする。
環としての準同型 σ：K → L で σ(1) = 1 となるものは>>360より単射である。
このとき、σ を埋め込みと呼ぶ。
全射埋め込みを同型と呼ぶ。