theorem Th21: :: WAYBEL25:21

for X, Y being non empty TopSpace
for f being continuous Function of (Omega X),(Omega Y) holds f is monotone