在序理论中,分配并半格()和分配交半格()是分配格到半格的推广。与分配格不同,分配并(交)半格不再是使用像分配律一样的恒等式来定义,而通过恒等式定义实际上也是不可能做到的。
对偶地可以定义分配交半格。
性质
在分配并半格中,任意两个元素都有下界。
例
对于格(L,\vee,\wedge),以下条件等价。
- 并半格(L,\vee)是分配并半格。
- 格(L,\vee,\wedge)是分配格。
参考文献
在序理论中,分配并半格()和分配交半格()是分配格到半格的推广。与分配格不同,分配并(交)半格不再是使用像分配律一样的恒等式来定义,而通过恒等式定义实际上也是不可能做到的。
对偶地可以定义分配交半格。
性质
在分配并半格中,任意两个元素都有下界。
例
对于格(L,\vee,\wedge),以下条件等价。
参考文献
评论 (0)