Deljivost je zagotovo refleksivna, saj vsako naravno število deli samega sebe ($a=1\cdot a$). Iz zadnjega zapisa hkrati izhaja, da število $1$ deli vsako naravno število:
$a|a$ in $1|a$
Oglej si števila v spodnjem nizu in razmisli, v kakšni povezavi so. Uporabiš lahko preiskovalni okvirček.
$$a|b \wedge b|c \Rightarrow a|c$$
To pomeni, da je relacija deljivost tranzitivna.
Kaj lahko sklepamo o velikosti števil $a$ in $b$, če zanju velja $a|b$ in $b|a$? Potem je $a \le b$ in hkrati $b\le a$. To pa je mogoče le tedaj, ko sta števili $a$ in $b$ enaki.
Drži. Ne drži.Relacija deljivosti je refleksivna, antisimetrična in tranzitivna.