isomorphically

not defined yet