for T being TopSpace
for B being Subset of T holds
( B is alpha-set of T iff B = alphaInt B ) by Def1, XBOOLE_1:17, XBOOLE_1:28;