>>469
X-Y=X∩Y^c を使って機械的な計算（^c　は補集合を表す）
A-(A-B)=A∩（A-B)^c=A∩(A∩B^c)^c=A∩(A^c∪B)
=(A∩A^c)∪（A∩B)=A∩B