theorem Th6: :: RELSET_2:6

for X, Y being set holds
( X c= Y iff {_{X}_} c= {_{Y}_} )