4.1.7.2 （NR,＋,×,≦）の中への（Ｎ,＋,×,≦）の埋め込み


　（Ｎ,＋,×,≦）と（NR,＋,×,≦）の場合，埋め込みｉについてはさらに

ｍ≦ｎ ｉ(ｍ)≦ｉ(ｎ)

が成り立つ。そこでこのｉによって，(Ｎ,＋,×,≦）を（NR,＋,×,≦）の部分 (ｉ(Ｎ),＋,×,≦）と同一視できることになる。言い換えると,ｉによって，(Ｎ,＋,×,≦）は（NR,＋,×,≦）に埋め込まれる。