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