Let R be the relation on Z defined by

R = {(a, b) : a, b ∈ Z, a − b is an integer}
We know:

Difference of any two integers is always an integer.

Thus, for all a, b ∈ Z, we get a − b as an integer.

∴ Domain (R) = Z

And,

Range (R) = Z