– Tập hợp con: Nếu mọi phần tử của tập hợp A đều là phần tử của tập hợp B thì ta nói rằng tập hợp A là tập hợp con của tập hợp B.

Kí hiệu: A ⊂ B ⇔ ∀ x ∈ A thì x ∈ B

– Khi A ⊂ B và B ⊂ A ta nói tập hợp A bằng tập hợp B và viết là A = B.

(Hiểu cách khác: Hai tập hợp bằng nhau là hai tập hợp có phần tử giống hệt nhau).