theorem Th25: :: WAYBEL26:25

for X being non empty TopSpace
for Y being non trivial T_0-TopSpace st oContMaps (X,Y) is with_suprema holds
not Y is T_1