ทฤษฎีจำนวน (Number Theory) นิยาม ถ้า m และ n เป็นจำนวนเต็ม โดยที่ n≠0 แล้ว n หาร m ลงตัว ก็ต่อเมื่อ มีจำนวนต็ม c เพียงจำนวนเดียวเท่านั้น ซึ่ง m = nc เรียก n ว่าตัวหารหนึ่งของ m สัญลักษณ์ n|m หมายถึง n หาร m ลงตัว n|/m หมายถึง n หาร m ไม่ลงตัว
ความสัมพันธ์ คู่อันดับและผลคูณคาร์ทีเซียน ความสัมพันธ์ ความสัมพันธ์ เกิดจากสิ่งสองสิ่งมาเกี่ยวข้องกันภายใต้กฎเกณฑ์บางอย่าง เช่น ความสัมพันธ์ของ a กับ b ซึ่ง a มากกว่า b เป็นต้น
สัจพจน์ของความบริบูรณ์ สัจพจน์ความบริบูรณ์ หรือ สัจพจน์การมีค่าขอบเขตบนน้อยสุด (Least upper bound axiom) บทนิยาม ถ้า S เป็นสับเซตของ R S จะมีขอบเขตบนก็ต่อเมื่อ มีจำนวนจริง a ที่ทำให้ x ≤ a