theorem Th15: :: TOPS_1:15

for TS being TopSpace holds Int ([#] TS) = [#] TS