Intersection with Relative Complement is Empty

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


 * $T \cap \relcomp S T = \O$