分配上半格

在序理论中,分配并半格()和分配交半格()是分配格到半格的推广。与分配格不同,分配并(交)半格不再是使用像分配律一样的恒等式来定义,而通过恒等式定义实际上也是不可能做到的。
对偶地可以定义分配交半格

性质
在分配并半格中,任意两个元素都有下界。


对于格(L,\vee,\wedge),以下条件等价。

  • 并半格(L,\vee)是分配并半格。
  • 格(L,\vee,\wedge)是分配格。

参考文献

评论 (0)

  • 还没有评论,来抢沙发吧。