คู่อันดับ (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 อ่านต่อเพิ่มเติม
r เป็นความสัมพันธ์จาก A ไป B ก็ต่อเมื่อ r เป็นสับเซตของ A x B อ่านต่อเพิ่มเติม