Description: A set equals the union of its singleton. Theorem 8.2 of Quine p. 53. (Contributed by NM, 30-Aug-1993)