If is a group homomorphism between G and H, then we have the following definition:

for all we have

According to wikipedia, this means that , where , are the identity elements of G and H respectively, and also that for all .

Can someone show me how these conditions are true?

Thanks