theorem Th11: :: DECOMP_1:11

for T being TopSpace holds (PO T) /\ (D(alpha,p) T) = T ^alpha