theorem :: ZFMISC_1:25

for x being object holds union {x} = x ;