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 $
Az oszthatóság reflexív, antiszimmetrikus, tranzitív és létezik egységelem.