theorem Th3: :: DECOMP_1:3

for T being TopSpace
for B being Subset of T holds
( B is semi-open iff B = sInt B ) by XBOOLE_1:17, XBOOLE_1:28;