เป็นการจับคู่สิ่งของโดยถือลำดับเป็นสำคัญ
เช่น คู่อันดับ a, b จะเขียนแทนด้วย (a, b) เรียก
a ว่าเป็นสมาชิกตัวหน้า และเรียก b
ว่าเป็นสมาชิกตัวหลัง
สัญลักษณ์
ผลคูณคาร์ทีเซียนของเซต A และเซต B เขียนแทนด้วย A x B
ความสัมพันธ์
rเป็นความสัมพันธ์จาก A ไป B ก็ต่อเมื่อ r เป็นสับเซตของ A x B
โดเมนและเรนจ์ (พิสัย)
โดเมนของความสัมพันธ์ r คือ เซตที่มีสมาชิกตัวหน้าของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย
Dr ดังนั้น Dr = {x | (x, y) ε r} เรนจ์ (Range) ของความสัมพันธ์ r คือ
เซตที่มีสมาชิกตัวหลังของทุกคู่อันดับในความสัมพันธ์ r ใช้สัญลักษณ์แทนด้วย R rดังนั้น Rr = {y | (x, y) ε r}
ฟังก์ชันจาก A ไปทั่วถึง B
f จะเป็นฟังก์ชันจาก A ไปทั่วถึง B f เป็นฟังก์ชัน Df = A 3) Rf = B