束の定義 以下の等式をみたす二つの二項演算 , を備えた集合 のことを束(lattice)といいます1: 可換律 結合律 冪等律 吸収律 例えば、 と を論理式だと思えば、これは高校数学でも習った命題論理の性質です。また、 として、 は最小公倍数、 は最大公約数…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。