完全可分配性

定義介紹

完全可分配性(completely distributivity)可分配律的推廣.對於任意兩個集合s和W，用sw表示由W到s中的所有映射的集合.給定一個由Wxs到布爾代數B的映射，它對於每一對w,s(wEW,.sES)確定B中一個元素二二.、.考慮等式

這裡右邊的和是對所有.fES"'取的.如果對於基數分別為K和幾的任意兩個集合W和s以及由WXS到B中的任何映射，只要(1)的左邊有意義，且右邊每一項有意義，則右邊在B中有意義且(1)成立，那么稱B為(}c,,})可分配的.如果對所有基數}c, }, B都是(}c,.})可分配的，則稱B是完全可分配的.