Set Difference as Intersection with Relative Complement

Theorem
Let $$A, B \subseteq S$$.

Then $$A - B = A \cap \mathcal{C}_S \left({B}\right)$$.