集合运算的性质根据交集定义结合Venn图