for E being set
for A, B, C being Subset of E st A c= B & C misses B holds
A c= C `