theorem Th30: :: WAYBEL25:30

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