Topological interior

Summary