theorem Th39: :: WAYBEL25:39

for T being injective T_0-TopSpace holds T is monotone-convergence