theorem :: ZFMISC_1:72

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