位相と論理と私2：半束（pp.4-6）

前回は半束の定義まで進んでいました．その続きです．

半束順序集合$${A}$$のすべての有限部分集合がjoinをもつとき，半束といいます．

半束は空集合のjoinとして最小元0をもつ．任意の2元$${a,b\in A}$$のjoin，すなわち，$${\lor\{a,b\}}$$も存在が保証されている．それを$${a\lor b}$$と書く．

これにより半束の中で$${\lor}$$は2項演算