theorem Th3: :: SUBSET:3

for a, b being set holds
( a is Subset of b iff a c= b )