I need help with Computer Science - Discrete Math Question.

Please show as much work as possible.

Thanks in advance.

We define on the setN1={1,2,3,}of positive integers a relation such that two positive integers x and y satisfy x y if and only if x/y = 2k for some integer k. Show that is an equivalence relation.