:: deftheorem defines semi-open DECOMP_1:def 2 :
for T being TopStruct
for IT being Subset of T holds
( IT is semi-open iff IT c= Cl (Int IT) );