theorem Th24: :: BORSUK_4:27

for A being Subset of REAL
for B being Subset of I[01] st A = B holds
( A is closed iff B is closed )