theorem Th12: :: BORSUK_3:12

for X being non empty TopSpace
for Y being non empty compact TopSpace
for G being open Subset of [:Y,X:] holds { x where x is Point of X : [:([#] Y),{x}:] c= G } in the topology of X