theorem :: TOPGEN_1:39

for T being non empty TopSpace holds Fr ({} T) = {}