- Nếu A ⊂ B thì với mọi x ∈ A,ta có x ∈ B
- Để chứng tỏ A ⊂ B ta phải chứng tỏ với mọi x ∈ A thì x ∈ B.
- Quy ước tập hợp rỗng là tập hợp con của mọi tập hợp.
- Để chứng tỏ A không phải là tập hợp con của B,chỉ cần nêu ra 1 phần thuộc A mà không thuộc B