theorem Th1: :: WAYBEL26:1

for X, Y being non empty TopSpace
for a being set holds
( a is Element of (oContMaps (X,Y)) iff a is continuous Function of X,(Omega Y) )