บทนิยาม เซต A เป็นสับเซตของเซต B ก็ต่อเมื่อ สมาชิกทุกตัวของเซต A เป็นสมาชิกของเซต B
สัญลักษณ์ เซต A เป็นสับเซตของเซต B เขียนแทนด้วย A B
ตัวอย่าง
- {1,2} {1,2,3,4} เพราะ 1และ 2 เป็นสมาชิกของ {1,2,3,4}
- {3,2,1} {1,2,3,4} เพราะ 1,2 และ 3 เป็นสมาชิกของ {1,2,3,4}
- {4} {1,2,3,4} เพราะ 4 เป็นสมาชิกของ {1,2,3,4}
- {0,4} {1,2,3,4} อ่านว่า {0,4} ไม่เป็นสับเซตของ {1,2,3,4} เพราะ 0 ไม่เป็นสมาชิกของ
{1,2,3,4} ( แม้ว่า4 จะเป็นสมาชิกของ {1,2,3,4} ก็ตาม)
ข้อตกลงเบื้องต้น
- เซตทุกเซตเป็นสับเซตของตัวเองนั่นคือ ถ้า A เป็นเซตใด ๆ แล้ว A A
- เซตว่างเป็นสับเซตของทุกเซตนั่นคือ ถ้า A เป็นเซตใด ๆ แล้ว A
สับเซตทั้งหมดของ A
ถ้ากำหนดให้ A = {a,b} แล้ว สับเซตทั้งหมดของ A มีจำนวน 4 สับเซต ได้แก่
- เป็นไปตามข้อตกลงเบื้องต้นที่กล่าวว่า"เซตว่างเป็นสับเซตของทุกเซต"
- {a}
- {b}
- {a,b}เป็นไปตามข้อตกลงเบื้องต้นที่กล่าวว่า"เซตทุกเซตเป็นสับเซตของตัวเอง"
ความหมายของเซต วิธีการเขียนเซต ชนิดของเซต เพาเวอร์เซต เอกภพสัมพันธ์ แผนภาพเวนน์-ออนเลอร์
TOP