R = {(a, b), (c, d): ad = bc} be a relation on Z × Z0
Now,
Reflexivity: (a, b) ∈ Z × Z0
⇒ ab = ba
⇒ {(a, b), (a, b)} ∈ R
⇒ R is reflexive.
Symmetric: Let {(a, b), (c, d)} ∈ R
⇒ ad = bc
⇒ cd = da
⇒ {(c, d), (a, b)} ∈ R
⇒ R is symmetric.
Transitive: Let (a, b), (c, d) ∈ R and (c, d), (e, f) ∈ R
⇒ ad = bc and cf = de
$\Rightarrow\ \frac{\text{a}}{\text{b}}=\frac{\text{c}}{\text{d}}$ and $\frac{\text{c}}{\text{d}}=\frac{\text{e}}{\text{f}}$
$\Rightarrow\ \frac{\text{a}}{\text{b}}=\frac{\text{e}}{\text{f}}$
$\Rightarrow\ \text{af}=\text{be}$
$\Rightarrow\ (\text{a, b})(\text{e, f})\in\text{R}$
⇒ R is transitive.
Hence, R is an equivalence relation on Z × Z0