การหารจำนวนนับที่เป็นการหารลงตัว (Divisibility) ซึ่งมีลักษณะ ดังนี้
กำหนดให้ a และ b เป็นจำนวนนับ พบว่า b หาร a ลงตัว ก็ต่อเมื่อมีจำนวนนับ c ที่ทำให้ a ÷ b = c
*** ข้อตกลง *** เรียก b ว่า ตัวหาร (Divisor) หรือ ตัวประกอบ (Factor) ของ a และ เรียก a ว่า ตัวตั้ง (Divided) หรือ พหุคูณ (Multiple) ของ b
ตัวอย่าง การหารจำนวนนับที่เป็นการหารลงตัว เช่น
12 ÷ 3 = 4 จะพบว่า 3 หาร 12 ลงตัว
ข้อตกลง เรียก 3 ว่ำตัวหาร หรือ ตัวประกอบของ 12 และ เรียก 12 ว่าตัวตั้ง หรือ พหุคูณของ 3