ความสัมพันธ์และฟังก์ชัน

   คู่อันดับ (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 ใช้สัญลักษณ์แทนด้วย R rดังนั้น  Rr = {y | (x, y) ε r}
หลักเกณฑ์ในการพิจารณาหาโดเมนและเรนจ์ในความสัมพันธ์ r

เซตแบบแจกแจงสมาชิก
พิจารณาสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r

พิจารณาสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r

เซตแบบบอกเงื่อนไข
เปลี่ยนเป็นเซตแบบแจกแจงสมาชิกแล้วพิจารณาสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r
พิจารณารูปแบบของเงื่อนไขแล้วจัด y ให้อยู่ในรูป x แล้วหาค่า x ที่ทำให้ y เป็นจริงตามเงื่อนไข
เปลี่ยนเป็นเซตแบบแจกแจงสมาชิกแล้วพิจารณาสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r
พิจารณารูปแบบของเงื่อนไขแล้วจัด x ให้อยู่ในรูป y แล้วหาค่า y ที่ทำให้ x เป็นจริงตามเงื่อนไข
กราฟ
พิจารณาค่าของ x ทั้งหมดบนแกน X ที่ใช้ในการเขียนกราฟ

พิจารณาค่าของ y ทั้งหมดบนแกน Y ที่ใช้ในการเขียนกราฟ

ตัวผกผันของความสัมพันธ์ (Inverse of Relation) อินเวอร์สของความสัมพันธ์ r คือ ความสัมพันธ์ซึ่งเกิดจากการสลับที่ของสมาชิกตัวหน้าและสมาชิกตัวหลังในแต่ละคู่อันดับที่เป็นสมาชิกของ r