theorem Th29: :: YELLOW_9:29

for T being non empty TopSpace
for B being prebasis of T holds B \/ { the carrier of T} is prebasis of T