Explanation
The restriction of a map
f
:
G
->
Z
to a subset
H
of
G
is the map
H
->
Z
,
h
->
f(h)
.