En général, on dit -LRB- lire "'divides' '-RRB- pour les entiers non-zéro et iff il existe un entier tel que.
En général, nous disons m | n -LRB- lire : m divise n -RRB- pour les entiers non nuls m et n iff il existe un entier k tel que n = km.