Set Difference as Intersection with Complement

Theorem
$$S - T = S \cap \mathcal{C} \left({T}\right)$$

Proof
This follows directly from Set Difference Relative Complement: $$S - T = S \cap \mathcal{C}_S \left({T}\right)$$.