Set Difference as Symmetric Difference with Intersection

Theorem

 * $S \setminus T = S \symdif \paren {S \cap T}$

where:
 * $S \setminus T$ denotes set difference
 * $S \symdif T$ denotes set symmetric difference
 * $S \cap T$ denotes set intersection.