Question 1:

D on Z(all integers): mDn iff m|n

My thoughts:

Why is 0D0 not reflexive as stated by the solution? 0|0 --> 0=n.0

So that means it does not matter what value n is, the answer will be still be 0. So shouldn't it be reflexive?

Question 2:

P on N(natural numbers): mPn iff There exists p, p|m,p|n and p is prime.

My thoughts:

I am not sure how to apply the transitive rules on this where if xPy and yPz then xPz.