theorem Th2: :: RELSET_2:2

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