theorem :: SUBSET_1:24

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