theorem Th2: :: WAYBEL26:2

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,Y )