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