ดูต้นฉบับสำหรับ เซตย่อย

ใน[[คณิตศาสตร์]]โดยเฉพาะสาขา[[ทฤษฎีเซต]] [[เซต (คณิตศาสตร์)|เซต]] ''A'' เป็น '''เซตย่อย''' หรือ '''สับเซต''' ({{langx|en|Subset}}) ของเซต ''B'' หรืออาจจะบอกว่าเซต ''B'' เป็น ''ซูเปอร์เซต'' ของเซต ''A'' ถ้า ''A'' เป็นส่วนหนึ่งของ ''B'' นั่นก็คือสมาชิกทั้งหมดของเซต ''A'' จะต้องเป็นสมาชิกของเซต ''B'' ด้วย ทั้งนี้ ''A'' กับ ''B'' อาจเท่ากันก็ได้

== นิยาม ==
ให้ ''A'' และ ''B'' เป็นเซต โดยที่สมาชิกทั้งหมดใน ''A'' เป็นสมาชิกใน ''B'' ด้วย จะได้ว่า
:* ''A'' เป็นเซตย่อยของ ''B'' เขียนเป็นสัญลักษณ์โดย <math>A \subseteq B</math>
: หรือในทางกลับกันจะได้ว่า
:* ''B'' เป็นซูเปอร์เซตของ ''A'' เขียนเป็นสัญลักษณ์โดย <math>B \supseteq A</math>
{{anchor|เซตย่อยแท้}}
ถ้า ''A'' เป็นเซตย่อยของ ''B'' แต่ ''A'' ไม่[[เท่ากับ]] ''B'' (เช่นมีสมาชิกอย่างน้อยหนึ่งตัวที่อยู่ใน ''B'' แต่ไม่อยู่ใน ''A'') จะได้ว่า
:* ''A'' ก็ยังเป็นเซตย่อยแท้ของ ''B'' ด้วย เขียนเป็นสัญลักษณ์โดย <math>A\subsetneq B</math>
: หรือในทางกลับกันจะได้ว่า
:* ''B'' เป็นซูเปอร์เซตแท้ของ ''A'' เขียนเป็นสัญลักษณ์โดย <math>B\supsetneq A</math>

[[หมวดหมู่:มโนทัศน์เบื้องต้นในทฤษฎีเซต]]
{{โครงคณิตศาสตร์}}