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