homeomorphy
not defined yet