上游充鱼大 SJTU School Of Software 2009-2-2 A是B的子集：ACB; A是B的真子集：ACB; A=B:ACB∧BcA; 划分： 给定一个集合B,以及B的一组子集A1,A2…An, 它们是B的一个划分，当且仅当： A1UA2U…UAn=B,且Ai∩Aj=g(i≠j) 软件学院SJTU School Of Software 2009-2-2 软件学院 A是B的子集:A⊆B; A是B的真子集:A⊂B; A=B: A⊆B∧B⊆A; 划分: 给定一个集合B,以及B的一组子集A1,A2……An, 它们是B的一个划分,当且仅当: A1∪A2∪…∪An=B,且 Ai∩Aj=ø(i≠j)