世界大百科事典（旧版）内の相補束の言及
【束】より
… a＞c,a∪b＝c∪b， a∩b＝c∩b なお，上記のモジュラー法則は，a∪(b∩(c∪a))＝(a∪b)∩(c∪a)と同値であり，これをモジュラー法則ということもある。
［相補束］
束Lに最大元，最小元があるものとする。それらを1,0で表そう。…
※「相補束」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
Sponserd by 
立春から数えて 88日目で，現行暦では5月2日頃にあたる。八十八夜を過ぎればもはや晩霜も終りになるので，農家ではこれを種まきや茶摘み，その他の農作業開始の基準としている。日本では明暦3 (1657) ...