theorem :: TOPS_3:9

for X being TopSpace holds {} X is boundary ;