คู่อันดับ (Order Pair) เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ เช่น คู่อันดับ a, b จะเขียนแทนด้วย (a, b) เรียก a ว่าเป็นสมาชิกตัวหน้า และเรียก b ว่าเป็นสมาชิกตัวหลัง
(การเท่ากับของคู่อันดับ) (a, b) = (c, d) ก็ต่อเมื่อ a = c และ b = d
ผลคูณคาร์ทีเชียน (Cartesian Product) ผลคูณคาร์ทีเซียนของเซต A และเซต B คือ เซตของคู่อันดับ (a, b) ทั้งหมด โดยที่ a เป็นสมาชิกของเซต A และ b เป็นสมาชิกของเซต B
สัญลักษณ์ ผลคูณคาร์ทีเซียนของเซต A และเซต B เขียนแทนด้วย A x B
หรือ เขียนในรูปเซตแบบบอกเงื่อนไขจะได้ว่า
ความสัมพันธ์ (Relation)r เป็นความสัมพันธ์จาก A ไป B ก็ต่อเมื่อ r เป็นสับเซตของ A x B
โดเมน (Domain) และ เรนจ์ (พิสัย) (Range)
โดเมน (Domain) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย Dr ดังนั้น Dr = {x | (x, y) ε r}
เรนจ์ (Range) ของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย Rrดังนั้น Rr = {y | (x, y) ε r}
หลักเกณฑ์ในการพิจารณาหาโดเมนและเรนจ์ในความสัมพันธ์ r
สัญลักษณ์ อินเวอร์สของความสัมพันธ์ r เขียนแทนด้วย r-1ตัวผกผันของความสัมพันธ์ (Inverse of Relation) อินเวอร์สของความสัมพันธ์ r คือ ความสัมพันธ์ซึ่งเกิดจากการสลับที่ของสมาชิกตัวหน้าและสมาชิกตัวหลังในแต่ละคู่อันดับที่เป็นสมาชิกของ r
เขียน r-1 ในรูปเซตแบบบอกเงื่อนไขได้ดังนี้ r-1 = {(x, y) | (y, x) ε r}
ถ้า r เป็นความสัมพันธ์จาก A ไป B แล้ว r-1 จะเป็นความสัมพันธ์จาก B ไป A
วิธีที่ 1 ถ้า r เป็นความสัมพันธ์ซึ่งประกอบด้วยคู่อันดับ (x, y) และมีเงื่อนไข r(x, y) แล้ว ให้นำเงื่อนไข r(x, y) มาเขียนใหม่โดยเขียน y ในรูปของ x และพิจารณาดังนี้
1) ถ้าแต่ละค่าของ x หาค่า y ได้เพียงค่าเดียว สรุปว่า r เป็นฟังก์ชัน
2) ถ้ามีบางค่าของ x ที่ทำให้หาค่า y ได้มากกว่าหนึ่งค่า สรุปว่า r ไม่เป็นฟังก์ชัน
วิธีที่ 2 เมื่อกำหนดความสัมพันธ์ r ซึ่งประกอบด้วยคู่อันดับ (x, y) และมีเงื่อนไข r(x, y)
สมมติให้ (x, y) ε r และ (x, z) ε r ดังนั้นจะได้เงื่อนไข r(x, y) และ r(x, z) พิจารณา
1) ถ้าสามารถแสดงได้ว่า y = z จะได้ว่า r เป็นฟังก์ชัน
2) ถ้ากรณีที่มี y ε z จะได้ว่า r ไม่เป็นฟังก์ชัน
วิธีที่ 3 โดยใช้กราฟ
กำหนดกราฟความสัมพันธ์ r ให้ลากเส้นตรงที่ขนานกับแกน Y และให้ตัดกราฟของความสัมพันธ์ rพิจารณา
1) ถ้าเส้นตรงแต่ละเส้นตัดกราฟของ r ได้เพียงจุดเดียวเท่านั้น จะได้ว่า r เป็นฟังก์ชัน
2) ถ้ามีเส้นตรงบางเส้นตัดกราฟของ r มากกว่าหนึ่งจุด จะได้ว่า r จะไม่เป็นฟังก์ชัน
กำหนดให้ f เป็นฟังก์ชัน เรามีข้อตกลงเกี่ยวกับการเขียนสัญลักษณ์ ดังนี้
(x, y) ε R จะเขียนแทนด้วย y = f(x)
เรียก f(x) ว่าค่าของฟังก์ชัน f ที่ x หรือเรียกว่าภาพฉาย (image) ของ x ภายใต้ฟังก์ชัน f