* <math> a| \mid b \implies \forall k \in \mathbb{Z}\quad a| \mid k \cdot b\quad</math> - Ak '''a''' delí '''b''', potom '''a''' delí akýkoľvek násobok '''b'''
* <math> a|\mid b \and b|\mid c \implies a|\mid c\quad </math> - Ak '''a''' delí '''b''' a '''b''' delí '''c''', potom '''a''' delí '''c''', , deliteľnosť je tranzitívna relácia.
* <math>a|\mid b \and a|\mid c \implies a|\mid (b+c)\and a\mid (b-c)\quad</math> - Ak '''a''' delí dve čísla, potom '''a''' delí aj ich súčet a rozdiel.
*Ak <math>a \mid b</math> a <math>b \mid a</math>, potom <math>a = b</math> alebo <math>a = -b</math>.
*Ak <math>p</math> je prvočíslo a <math>p \mid ab</math> potom <math>p \mid a</math> alebo <math>p \mid b</math>.
