A homomorphism whose inverse is also a homomorphism.

If an isomorphism exists between two structures, they are said to be isomorphic (literally, 'identically shaped').