シェア
正則
2022年2月11日 15:07
前回までで,半束のこと,冪等積と順序の一意性についてやりました.今回は束と分配束をやります.これで束論の速習的なことが完了します.束順序集合がすべての有限joinと有限meetをもつなら,束であるといいます.第2回で示したように,join半束として完備ならmeet半束としても完備,逆もまた然り,なので,どちらかが完備なら束であるわけですね.有限join,有限meetがあればよいので,束