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.