＜正＞定义　令X={x_1,x_2,…,x_n,…}(可数无穷的集合),对于A∈P　P(X),先作一一对应,其中i_1,…,i_n,…∈{0,1},满足然后把A与A所对应的(i_1,i_2,…,i_n,…)作恒同的理解。命F(X)=(A,A∈P(X)&A是有限的集合),对于A=(i_1,…,i_u,…)B=(j_1,…,j_n…)∈F(X),令φ(A,B)=(K_1,…,k_n,…),其中当(非空),时取k_(1_0)=1,其余所有的k_a均与A中的i_a相同,然后再令A*B=φ(A,B)∩φ(B,A),即先