束

1を示す. $\vee$については, $a\vee b$も$b\vee a$も$L$の部分集合$\{a,b\}$の最小上界であるため成り立つ. $\wedge$についても同様である.

2を示す. 1より, $(a\vee b)\vee c$が$\{a,b,c\}$の最小上界であることを示せば十分である. まず$a\le (a\vee b)\vee c$を示す. これは$\vee$の定義より$a\le a\vee b$, $a\vee b\le (a\vee b)\vee c$であることより従う. $b$についても同様である. $c\le (a\vee b)\vee c$も$\vee$の定義よりわかる. あとは$\{a,b,c\}$の上界$x$について$(a\vee b)\vee c\le x$を示せば良い. $\vee$の定義より, $a\le x$かつ$b\le x$から$a\vee b\le x$が従う. 更に$c\le x$なので, 再び$\vee$の定義より$(a\vee b)\vee c\le x$が従う. これで$\vee$の場合が示された. $\wedge$の場合も同様である.

3を示す. $\vee$の定義より$a\le a\vee (a\wedge b)$であるため, $a\vee (a\wedge b)\le a$を示す. そのためには$a\le a$, $a\wedge b\le a$を示せばよいが, 一つ目は半順序集合の定義より成り立ち, 二つ目は$\wedge$の定義より成り立つ. もう一つの式についても同様である.

まず, $a\vee a=a$を示す. これは次の式変形によりわかる.
$$a\vee a=a\vee (a\wedge (a\vee a))=a$$同様に$a\wedge a=a$も示せる.

次に, $a\wedge b=a\iff a\le b$を示す. $a\wedge b=a$とすると,
$$a\vee b=(a\wedge b)\vee b=b\vee (a\wedge b)=b\vee (b\wedge a)=b$$より$a\le b$が従う. 逆に$a\le b$, つまり$a\vee b=b$とすると
$$a\wedge b=a\wedge (a\vee b)=a$$となり従う.

定義された順序$\le$が半順序になっていることを示す. まず, $a\le a$を示すには$a\vee a=a$を示せばよいがこれはすでに示した. $a\le b$かつ$b\le a$のとき$a=b$を示す. $\le$の定義から$a\vee b=b$, $b\vee a=a$なので
$$a=b\vee a=a\vee b=b$$より従う. 最後に$a\le b$, $b\le c$ならば$a\le c$を示す. $a\vee b=b$, $b\vee c=c$なので
$$a\vee c=a\vee (b\vee c)=(a\vee b)\vee c=b\vee c=c$$より$a\le c$が従う. これで与えられた順序$\le$により$L$が半順序集合になることが示された.

$L$の任意の非空有限部分集合$X$についてその最小上界が存在することを$X$の元の個数に関する帰納法で示す. $|X|=1$のときは明らか. $|X|<n$で成り立つと仮定して$|X|=n$の場合を考える. このとき, $L$の元$a$とある$n-1$元集合$Y$について$X=\{a\}\cup Y$と書ける. $Y$は最小上界を持ち, これを$b$と置く. $a\vee b$が$X$の最小上界であることを示す. $X$の任意の元$x$について$x\le a\vee b$を示す. つまり$x\vee (a\vee b)=a\vee b$を示せば良い. $x=a$のとき,
$$x\vee (a\vee b)=a\vee (a\vee b)=(a\vee a)\vee b=a\vee b$$より成り立つ. $x\ne a$のとき,
$$x\vee (a\vee b)=(x\vee a)\vee b=(a\vee x)\vee b=a\vee (x\vee b)$$
であるが, $x\in Y$であり, $b$が$Y$の最小上界であるため$x\le b$, つまり$x\vee b=b$である. これで$X$の任意の元$x$について$x\le a\vee b$が示された. 次に$X$の任意の上界$z$について$a\vee b\le z$を示せば良い. これは$(a\vee b)\vee z=z$を示すことに等しい. $z$は$Y$の上界でもあることに注意すると$a\vee z=z$, $b\vee z=z$であることがわかり,
$$(a\vee b)\vee z=a\vee (b\vee z)=a\vee z=z$$より従う. これで$L$の任意の非空有限部分集合に対して最小上界が存在することが示された. 最大下界についても同様である. これで$L$が与えられた順序によって束をなすことが示された.

最後に, この束に対して定義される$\vee$と$\wedge$が与えた演算に一致することを示す. つまり, $\{a,b\}$の最小上界, 最大下界が与えられた$a\vee b$, $a\wedge b$に一致することを示す. $a\le a\vee b$を示す. これは$a\vee (a\vee b)=a\vee b$を示すことに等しい. これは
$$a\vee (a\vee b)=(a\vee a)\vee b=a\vee b$$より従う.
同様に$b\le a\vee b$も示せる. 次に$a\le x$, $b\le x$となる$x$について$a\vee b\le x$を示す. これは$(a\vee b)\vee x=x$を示すことに等しい. $\le$の定義より$a\vee x=x$, $b\vee x=x$であることに注意すると
$$(a\vee b)\vee x=a\vee (b\vee x)=a\vee x=x$$となり示せる. $\wedge$の場合も同様である.