ฟังก์ชันค่าสมบูรณ์ถูกกำหนดโดยกฎซึ่งแบ่งออกเป็นสองกรณี ค่าฟังก์ชันสมบูรณ์ | | จะกำหนดโดย อ่านเพิ่มเติม
คู่อันดับ (Order Pair ) เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ a , b จะเขียนแทนด้วย ( a , b ) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นส อ่านเพิ่มเติม
บทนิยาม a < b หมายถึง a น้อยกว่า b
a > b หมายถึง a มากกว่า b
อ่านเพิ่มเติม
จำนวนจริง คือ จำนวน ที่สามารถจับคู่หนึ่งต่อหนึ่งกับ จุด บน เส้นตรง ที่มีความยาวไม่สิ้นสุด (เส้นจำนวน) ได้ คำว่า จำนวนจริง นั้นบัญญัติขึ้นเพื่อแยกเซ ตนี้ออกจาก จำนวนจิ อ่านเพิ่มเติม
การให้เหตุผลแบบอุปนัย เป็น วิธีการสรุปผลมาจากการค้นหาความจริงจากการสังเกตหรือการทดลองหลายครั้งจากกรณีย่อยๆ แล้วนำมาสรุปเป็นความรู้แบบทั่วไป อ่านเพิ่มเติม
การให้เหตุผลแบบนิรนัยเป็นการนำความรู้พื้นฐานซึ่งอาจเป็นความเชื่อ ข้อตกลง กฎ หรือบทนิยาม ซึ่งเป็นสิ่งที่รู้มาก่อน และยอมรับว่าเป็นความจริงเพื่อหาเหตุผ อ่านเพิ่มเติม
เอกภพสัมพัทธ์ คือ เซตที่ถูกกำหนดขึ้นโดยมีข้อตกลงว่า จะกล่าวถึงสิ่งที่เป็นสมาชิกของเซตนี้เท่านั้น จะไม่กล่าวถึงสิ่งอื่นใดที่ไม่เป็นสมาชิกของเซตนี้ โดยทั่วไปจะใช้สัญลักษณ์ อ่านเพิ่มเติม