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$