请教下E =（F1 - F2）∪ {[F2 - (F1 - E)] ∩ E} 的推导过程

dawancha

已知集合 E，F1, F2 。

其中 E ⊂ F1 ，F1-E ⊂ F2

可得 E = F1 - （F1 - E）=（F1 - F2）∪ {[F2 - (F1 - E)] ∩ E}

不知 F1 - （F1 - E）=（F1 - F2）∪ {[F2 - (F1 - E)] ∩ E} 这一步是如何推导出的？

请各位大神帮忙看下

这虽然是集合论的问题，但出自夏道行的《实变函数论与泛函分析》第二章第3节-测度的延拓，这里作者一带而过，我看的百思不得其解。

elim

dawancha

果然是高人啊

我死活没想到第三步，最后只有用文氏图验证了下，知道结果是对的。