数学の命題示しました

主に組合せ論について，読んだ本で出てきたことや，考えたことを書きます．

分配束の定義に関する命題

束論

Lattice theory. Garrett Birkhoff. p. 11.

定理 9
束 $L$ に関する次の条件1と条件2は同値である．

$\forall x,y,z\in L$ 　 $x\wedge (y\vee z)=(x\wedge y)\vee (x\wedge z)$ .
$\forall x,y,z\in L$ 　 $x\vee (y\wedge z)=(x\vee y)\wedge (x\vee z)$ .

この命題に対するiwalionの一言．
結び，交わりの定義から示そうとして死んだ．