Response to the following problem:
Consider the set A of all divisors of the number 100 and the binary relation ρ over A defined by xρy if and only if x divides y.
Show that this relation is a partial order relation in A.
Make sure you use enough details to support your answer.