homeomorph
not defined yet