Intersection with Empty Set

Theorem
$$S \cap \varnothing = \varnothing$$