homoeomorphy
not defined yet