(аb) q (a = b∙q) (ba) q1 (b = cq1). Тому а = b q = cqq1 = cq2.
Отже, ас.
Отже, відношення подільності на множині N0 цілих невід’ємних чисел має властивості рефлективності, антисиметричності і транзитивності, тобто є відношенням нестрогого порядку, причому часткового порядку, бо не кожна пара цілих невід’ємних чисел знаходиться у відношенні подільності. Наприклад, і .