M-N={x|x∈M,且x不属于N}=M∩CuN
∴M-(M-N)
= M∩Cu(M-N)
= M∩Cu(M∩CuN)
= M∩(CuM∪N) 【棣莫佛定理】
= (M∩CuM)∪(M∩N) 【交集运算的分配率】
= M∩N