命題
X と Y を上半束(過去スレ021の115)とする。
ｆ:X → Y を準同型(過去スレ021の144)とする。
f が単射であれば f は順序埋め込み(過去スレ021の227)である。

証明
過去スレ021の147より f は順序を保存する。

x、y ∈ X、f(x) ≦ f(y) とする。
f(x∨y) = f(x)∨f(y) = f(y)
f は単射だから x∨y = y
よって、x ≦ y
よって、f は順序埋め込みである。
証明終