topological_space.opens.le_supr source