论文部分内容阅读
π-簇表示论域Ω上具有性质π的集合簇:≠;当A,B∈,B∈,XA,总有X,A∪B∈.定义2在π-簇上,*是优化算子,如果公理1A对应唯一的子集合A*.写A=A*∪,A*∩A=;公理2;.定义3在定义2中,还满足公理3若AC,则AC;公理4(A*∪B)*(A∪B),则说算子*是上的第一类优化算子.对此,建立了两个优化原理,还给出了几个关于这种算子*的例子.