theorem Th6: :: DECOMP_1:6

for T being TopSpace
for B being Subset of T holds
( B is semi-pre-open iff B = spInt B )