theorem Th8: :: DECOMP_1:8

for T being TopSpace holds (SO T) /\ (D(c,s) T) = the topology of T