homeomorphic
not defined yet