群における写像について

 

群に写像があり、

f(x)=f(x')  ならば x=x'

 

x=x'とはどういうことになるのであろうか。