homeomorphous
not defined yet