اگر در تقسیمی باقی مانده صفر شود می‌گوییم:
1 مقسوم بر مقسوم علیه بخش‌پذیر است.
2 مقسوم علیه بر خاج قسمت بخش‌پذیر است.
3 باقی مانده صفر نیست.
4 باقی مانده بر مقسوم بخش‌پذیر است.