theorem :: TOPGEN_5:48

for X being T_1 TopSpace st X is Tychonoff holds
for B being prebasis of X
for x being Point of X
for V being Subset of X st x in V & V in B holds
ex f being continuous Function of X,I[01] st
( f . x = 0 & f .: (V `) c= {1} )