theorem :: ZFMISC_1:69

for A, B being set holds (bool A) \/ (bool B) c= bool (A \/ B)