世界大百科事典(旧版)内の束順序群の言及
【束】より
…上のS(M)は完備なブール束である。ブール代数
[束群]
群Gが束でもあり,次の条件が満たされるとき,Gは束群または束順序群であるという。 a(b∪c)=ab∪ac,(b∪c)a=ba∪ca a(b∩c)=ab∩ac,(b∩c)a=ba∩caこの条件はGを順序集合と考えたとき, a≦b ⇒ ac≦bc,ca≦cbということと同値である。…
※「束順序群」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」