Intersection With Singleton is Disjoint if Not Element

Theorem
Let $S$ be a set.

Let $\set x$ be the singleton of $x$.

Then:
 * $x \notin S$ $\set x \cap S = \O$