半格
设formula_1是一个偏序集，若对于任意的formula_2，formula_3都有最小上界（并），或者对于任意的formula_2，formula_3都有最大下界（交），则称formula_1构成一个半格。
也可以将半格定义为一个代数结构。一个半格是一个代数结构formula_7或formula_8，其中formula_9和formula_10如同在格的定义中所述。
生成维基百科快照图片，大概需要3-30秒！
如果网站内容有侵犯您的版权
请联系：pinbor@iissy.com
请联系：pinbor@iissy.com
Copyright ©2014 iissy.com, All Rights Reserved.