Defines an isomorphism between two algebraic structures.