D on Z(all integers): mDn iff m|n
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?
P on N(natural numbers): mPn iff There exists p, p|m,p|n and p is prime.
I am not sure how to apply the transitive rules on this where if xPy and yPz then xPz.