theorem :: ZFMISC_1:81

for A being set holds union (bool A) = A