:: deftheorem defines D(alpha,s) DECOMP_1:def 21 :
for T being TopSpace holds D(alpha,s) T = { B where B is Subset of T : alphaInt B = sInt B } ;