Let's define a relation R on the set R₂ such that (x,y) R (p,q) if and only if there is a positive real a such that (x, y) = 2(p, q)