Originally Posted by
yvonnehr I'm a bit lost in class so I am not sure if my solution is okay. Will you let me know if I did this okay?
********
This is the relation: xRy ⇔ |x| ≤ |y+1|, ∀x,y∈Z.
I have this for Transitivity for this relation:
Let xRy, yRz ⇒ |x| ≤ |y+1|, |y| ≤ |z+1|.
By simple algebra on |y| ≤ |z+1| we get |y+1-1| ≤ |z+1|.
By the triangle inequality we get |y+1| + |-1| ≤ |z| + |1|,
then we have |y+1| + 1 ≤ |z| + 1 ⇒ |y+1| ≤ |z|.
By substituting |z| for |y+1| in xRy we get |x| ≤ |z|.
Thus |x| ≤ |z + 1|. It follows that xRz.