for A, B being set st A c= B holds
bool A c= bool B