Description: A set equals the union of its singleton (setvar case). (Contributed by NM, 30-Aug-1993)
|- U. { x } = x
|- x e. _V