可以假设A包含B包含C,
A-(B-C)=(A-B)+C,
C=A∩C,
(A-B)+C=(A-B)∪C,
∴A-(B-C)=(A-B)∪(A∩C)