theorem :: ZFMISC_1:82

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