theorem :: ISOMICHI:12

for T being TopSpace holds Int (Cl ({} T)) = {} T