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