:: deftheorem Def1 defines alpha-set DECOMP_1:def 1 :
for T being TopStruct
for b₂ being Subset of T holds
( b₂ is alpha-set of T iff b₂ c= Int (Cl (Int b₂)) );