束群(読み)そくぐん

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

【束】より

…上のS(M)は完備なブール束である。ブール代数
[束群]
 群Gが束でもあり,次の条件が満たされるとき,Gは束群または束順序群であるという。 a(bc)=abac,(bc)abaca a(bc)=abac,(bc)abacaこの条件はGを順序集合と考えたとき, ab ⇒ acbc,cacbということと同値である。…

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

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

立春から数えて 88日目で,現行暦では5月2日頃にあたる。八十八夜を過ぎればもはや晩霜も終りになるので,農家ではこれを種まきや茶摘み,その他の農作業開始の基準としている。日本では明暦3 (1657) ...

八十八夜の用語解説を読む