theorem Th1: :: JGRAPH_4:1

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