Isomorphism

An isomorphism is a bijective map f such that both f and its inverse are homomorphisms.