theorem Th18: :: TOPGEN_4:18

for T being set holds {} is empty Subset-Family of T