for E being set
for A, B being Subset of E holds
( A misses B iff A c= B ` )