for T being TopSpace
for B being Subset of T holds
( alphaInt B = pInt B iff sInt B = psInt B )