Teilbarkeitsrelation ist transitiv
(z.B.  2 | 8  und  8 | 32 ==>    2 | 32 )
Kannst du nat. allgemein beweisen.
reflexiv und antisymmetrisch ist sie auch.
Also ist es eine Ordnungsrelation.
total nicht; denn wenn du zwei Zahlen hast wie
  5 und 7  gilt weder 5|7  noch 7|5 .
Also nur partiell.