theorem Th43: :: WAYBEL26:43

for X, Y being non empty TopSpace
for S being Scott TopAugmentation of InclPoset the topology of Y
for W being open Subset of [:X,Y:] holds (W, the carrier of X) *graph is continuous Function of X,S