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