Talk:Pair is Union of Singletons

Why need to state $x \ne y$? If $x = y$ the equality holds.