R1: Reflexiv ✓ (wegen n=1 )
symmetrisch (No !) (8;4)∈R wegen 8=2*4
aber für ( 4;8) müsste es 4 = n*8 geben, klappt nicht.
transitiv ✓ (a,b)∈R und (b,c)∈R
==> ∃n,m a=n*b und b=m*c
==> a=n*m*c mit n*m ∈ ℕ+ , also OK
Antisymmetrisch (?) (a,b)∈R und (b,a)∈R
==> ∃n,m a=n*b und b=m*a
==> a=n*m*a Wegen n*m ∈ ℕ+ , also n=m=1 ,
also a=b . Somit antisymmetrisch ✓