命題
L と M を上半束とする。
任意の準同型 f：L → M は順序を保存する。
即ち、a ≦ b のとき f(a) ≦ f(b)

証明
a ≦ b のとき a∪b = b であるから f(a∪b) = f(b)
よって、f(a)∪f(b) = f(b)
よって、f(a) ≦ f(b)
証明終