Test whether, `R_1` on `Q_0` defined by `(a ,\ b) in R_1<=> a=1//b` is (i) reflexive (ii) symmetric and (iii) transitive:

Explanation

Given as `R_{1}` on `Q_{0}` defined by


`(a, b) \in R_{1} \Leftrightarrow a=1 / b`



Reflexivity:


Let a be an arbitrary element of `R_{1}`.

...