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