theorem Th12: :: SUBSET_1:12

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