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