theorem :: TOPGEN_4:12

for T being set
for F being Subset-Family of T st F is closed_for_countable_unions holds
{} in F