I. Khái niệm tập hợp

1. Tập hợp và phần tử

Tập hợp (còn được gọi là tập) là một khái niệm cơ bản của toán học, không định nghĩa.

Cho tập hợp A:

- Để chỉ a là một phần tử của tập hợp A, ta viết $a \in A$.

 - Để chỉ a là không phải là một phần tử của tập hợp A, ta viết $a \notin A$.

2. Cách xác định tập hợp

a) Liệt kê các phần tử của nó;

b) Chỉ ra các tính chất đặc trưng cho các phần tử của nó.

3. Tập hợp rỗng

Tập hợp rỗng, kí hiệu là $\emptyset $, là tập hợp không chứa phần tử nào.

II. 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 cập hợp B thì ta nói A là một tập hợp con của B và viết là $A \subset B$ (đọc là A chứa trong B).

$A \subset B \Leftrightarrow \left( {\forall x:x \in A \Rightarrow x \in B} \right)$

III. Tập hợp bằng nhau

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