theorem Th2: :: SUBSET_1:2

for E being set
for A, B being Subset of E st ( for x being Element of E st x in A holds
x in B ) holds
A c= B