theorem :: YELLOW_9:10

for T being 1 -element TopSpace holds
( { the carrier of T} is Basis of T & {} is prebasis of T & {{}} is prebasis of T )