theorem Th4: :: DECOMP_1:4

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