Lattice

束（そく）とは，半順序集合$(L,\le)$ であって，$L$のどの2元$x,\ y$に対しても$L$の部分集合$\{x,\ y\}$の順序$\le$に関する下限$\inf\{x,\ y\}$と上限$\sup\{x,\ y\}$が存在するもののことである． 集合$L$に，二つの二項演算$\wedge,\vee$が定義され，それが次の法則に従うとき，三つ組み$(L,\wedge,\vee)$は（または単に$L$は）束であると言い，$\wedge$と$\vee$をそれぞれ，交わり（meet）と結び（join）とよぶ． ただし，巾等律は他の三法則から導かれるので除いてもよい． 巾等律：$x\wedge x=x\vee x=x$ 交換律：$x\wedge y=y\wedge x,\quad x\vee y=y\vee x$ 結合律：$(x\wedge y)\wedge z=x\wedge(y\we

[daruyanagi]

なるほどわからん（