คู่อันดับและผลคูณคาร์ทีเซียน
คู่อันดับและผลคูณคาร์ทีเซียน คู่อันดับ (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 หรือ เขียนในรูปเซตแบบบอกเงื่อนไขจะได้ว่า