ถ้าเรามีเซต A ดังนั้นสมาชิกทุกตัวก็ต้องอยู่ใน A เราสามารถพูดได้ว่า A เป็นเซตย่อยของ A หรือกล่าวว่า A เป็นเซตย่อยของตัวมันเองนั่นคือทุกเซตต้องมีเซตย่อยซึ่งมีสมาชิกเท่ากับสมาชิกของตัวมันเอง........
ถ้า B เป็นเซตย่อยของ A โดยที่ B มีสมาชิกทุกตัวอยู่ใน A โดย A มีสมาชิกอย่างน้อยหนึ่งตัวที่ “มิได้เป็นสมาชิก”ของ B เราเรียกว่า B เป็นเซตย่อยแท้ หรือ subset แท้ (Proper Subsets) ของ A
นอกจากนี้แล้ว B ยังเป็นเซตย่อยของ A อีกด้วย นั่นคือ B เป็นเซตย่อยและ เซตย่อยแท้ของ A
ถ้าเราพูดว่า B เป็นเซตย่อยแท้หรือsubset แท้(Proper Subsets)ของ A แล้ว เราเขียนได้ว่า B ⊂ A หรือกล่าวในทางตรงกันข้ามคือ A ⊄ B อ่านว่า Aไม่ได้เป็นเซตย่อยแท้ของ B