theorem Th42: :: WAYBEL26:42

for X, Y being non empty TopSpace
for W being open Subset of [:X,Y:]
for x being Point of X holds Im (W,x) is open Subset of Y