>>970
G=Z (加法群)
H=2Z
3∈Z, 任意のx∈2Zに対して、
3+x-3=x∈2Z
だが、3は2Zの元ではない