A Bijective Homomorphism. An Isomorphism is when there exists Bijective Morphism between a pair of Objects; a relationship where one object can be converted and restored to and from another object, without destroying information or properties of the sets.

If is an isomorphism of , then