for A being set holds TWOELEMENTSETS A c= bool A