for X being non empty TopSpace
for Y being non empty compact TopSpace
for G being open Subset of [:Y,X:]
for x being set st [:([#] Y),{x}:] c= G holds
ex R being open Subset of X st
( x in R & R c= { y where y is Point of X : [:([#] Y),{y}:] c= G } )