Question: 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
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.
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
