for X being non empty TopStruct
for g being Function of X,R^1
for B being Subset of X
for a being Real st g is continuous & B = { p where p is Point of X : g /. p < a } holds
B is open