Lý thuyết về phần tử của một tập hợp, tập hợp con.
1. Một tập hơp có thể có một phần tử, có nhiều phần tử, có vô số phần tử, cũng có thể không có phần tử nào.
Tập hợp không có phần tử nào được gọi là tập rỗng và được kí hiệu là Φ.
2. Nếu một phần tử của tập hợp A đều thuộc tập hợp B thì tập hợp A gọi là tập hợp con của tập hợp B. Kí hiệu: A ⊂ B hay B A và đọc là:
A là tập hợp con của tập hợp B hoặc A được chứa trong B hoặc B chứa A.