Isomorphism

Given two groups $G,G'$, an isomorphism from $G$ to $G'$ is a function $\phi :G\to G'\,$ such that $\phi$ is a homomorphism and $\phi$ is bijective.

Two groups $G,G'$ are called isomorphic if an isomorphism from $G$ to $G'$ exists.