theorem Th14: :: DECOMP_1:14

for T being TopSpace holds (SPO T) /\ (D(p,sp) T) = PO T