isodimorphism

not defined yet