:: deftheorem defines D(p,ps) DECOMP_1:def 24 :
for T being TopSpace holds D(p,ps) T = { B where B is Subset of T : pInt B = psInt B } ;