Claim:A = (A ∩ B) ∪ (A ∖ B)

From CS2800 wiki
[math]A \href{/cs2800/wiki/index.php/Equality_(sets)}{=} (A \href{/cs2800/wiki/index.php/%E2%88%A9}{∩} B) \href{/cs2800/wiki/index.php/%E2%88%AA}{∪} (A \href{/cs2800/wiki/index.php/%E2%88%96}{∖} B) [/math]