劃分格

劃分格(partition lattice)一種特殊的格.它是集合E上的劃分連同精細關係構成的格.E上的一個劃分。準一地確定了E中元素之間的一個等價關係，記為(}t ) . a(二))b若且唯若a,b同屬7r的一個劃分塊.劃分格的交運算為a (}r八a)b，若且唯若a<}r)b且a(o')b;結運算為a(二V a)b，若且唯若有元素:},c2,w ,c*使得a=cl , b=ck，並對所有1毛i毛k有:(二)。+:或c(。)。+，.例如，若E={1,2,""",11}，二=(1，2)C3，4，5)(6，7，8)(9，10，11)，a=(1，3，4)(2，5)(6,7,11)(8)(9,10)，則有}Va=(1，2，3，4，5)(6，7，8，9，10)，7r八a=(1)(2)(3，4)(5)(6，7)(8)(9，10)(11)‘