Intersection with Empty Set

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


 * $$S \cap \varnothing = \varnothing$$

Proof
$$ $$ $$