heautomorphism

not defined yet