Intersection with Empty Set

Theorem
The intersection of any set with the empty set is itself the empty set:


 * $S \cap \O = \O$

Also see

 * Union with Empty Set