相補束(読み)そうほそく

世界大百科事典(旧版)内の相補束の言及

【束】より

… a>c,a∪b=c∪b, a∩b=c∩b なお,上記のモジュラー法則は,a∪(b∩(c∪a))=(a∪b)∩(c∪a)と同値であり,これをモジュラー法則ということもある。
[相補束]
 束Lに最大元,最小元があるものとする。それらを1,0で表そう。…

※「相補束」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」