for X being monotone-convergence T_0-TopSpace holds Omega X is up-complete