theorem :: YELLOW_9:28

for T being TopSpace
for K being prebasis of T holds K is open ;