A partial order on X is a relation on X that is reflexive, transitive and anti-symmetric, anti-symmetry being the condition that x, y X if x y and y x then x = y. Show that the relation | ("divides") is a partial order on the natural numbers.