reflexiv würde ja heißen:
Jede nat. Zahl steht mit sich selbst in dieser Rel
also jede nat. Zahl x ist Teiler von x. Das stimmt, also ist T reflexiv.
Ebenso kannst du die anderen Eigenschaften prüfen:
symmetrisch stimmz z.B. nicht; denn dann müsste ja,
wenn (x;y) in der Relation ist, auch ( y;x) drin sein.
Aber es ist z.B. (2;4) drin, da 2 ein Teiler von 4 ist,
aber (4;2) nicht, da 4 kein Teiler von 2. etc.