Originally Posted by

**kurac** Hi,

A = {1,3,5,7,9,10,12,15,8,21} R = {(x,y) | y divided by x}

Im trying to prove that R is a partial order (reflexive, anti-symmetric and transitive).

Reflexsive: I said that it is true, because for all x, xRx. That is, every number in A is divided into itself once.

Antisymmetric: is false. Because if we have (5, 10) and (10, 5) then x is not equal to y. Is that correct? Because we get 2 and 0.5 and thats not equal?

Transitive:: if we have (5, 10, 15) then thats true but (15, 10, 5) false? Hence not transitive?