theorem :: ZFMISC_1:68

for A being set holds {A} c= bool A