Set Difference of Doubleton and Singleton is Singleton

Theorem
Let $x, y$ be distinct objects.

Then:
 * $\set{x, y} \setminus \set x = \set y$