π－簇表示论域Ω上具有性质π的集合簇：≠；当Ａ，Ｂ∈，Ｂ∈，ＸＡ，总有Ｘ，Ａ∪Ｂ∈．定义２在π－簇上，＊是优化算子，如果公理１Ａ对应唯一的子集合Ａ＊．写Ａ＝Ａ＊∪，Ａ＊∩Ａ＝；公理２；．定义３在定义２中，还......