试证:如果S是任一集,p(S)是其幂集,对A,B∈p(S),定义A+B=(A∪B)∩(A∩B)',则<p(s),+,∩>