Oszthatóság tulajdonságai

Reflexív:

\( a \mid a \)

Antiszimmetrikus:

\( a \mid b \not\Rightarrow b \mid a \)

Tranzitív:

$a \mid a$ és $b \mid c \Rightarrow a \mid c $

Egységelem:

Bármely $a$ egész számra $1 \cdot a = a $