theorem Th3: :: WAYBEL26:3

for X, Y being non empty TopSpace
for a, b being Element of (oContMaps (X,Y))
for f, g being Function of X,(Omega Y) st a = f & b = g holds
( a <= b iff f <= g )