theorem Th46: :: SETFAM_1:46

for X being set holds {{}} is Subset-Family of X