for A being 1 -element set
for B being set st not A /\ B is empty holds
A c= B