theorem :: TOPGEN_1:43

for T being TopSpace holds {} T is scattered ;