位相と論理と私4：束，分配束（pp.6-7）

前回までで，半束のこと，冪等積と順序の一意性についてやりました．今回は束と分配束をやります．これで束論の速習的なことが完了します．

束順序集合がすべての有限joinと有限meetをもつなら，束であるといいます．

第2回で示したように，join半束として完備ならmeet半束としても完備，逆もまた然り，なので，どちらかが完備なら束であるわけですね．

有限join，有限meetがあればよいので，束