设M P是两个非零集合,定义M与P的差集为M－P={X│X∈M且X不属于P},则M－（M－P）=

根据定义,A - B = A∩B',所以M-(M-P) = M∩(M-P)' = M∩(M∩P')' = M∩(M'∪P) = (M∩M')∪(M∩P) = M∩P
只有P是M的子集,才能直接等于P.