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