homoeomorphic
not defined yet