If A is a subset of, but not equal to, B, then A is called a proper subset of B, written A ⊊ B (A is a proper subset of B) or B ⊋ A (B is a proper superset of A).
ถ้าเป็นส่วนหนึ่งของ แต่ไม่เท่ากับ B แล้วจะเรียกว่าเป็นกลุ่มย่อยที่เหมาะสมของ B, เขียน⊊ B (A เป็นส่วนที่เหมาะสมของ B) หรือ B ⊋ A (B เป็นเซ็ตที่เหมาะสมของ A) .