Intersection with Relative Complement is Empty

Theorem
The intersection of a set and its relative complement is the empty set:


 * $$T \cap \complement_S \left({T}\right) = \varnothing$$

Proof
$$ $$