Tập con là một tập hợp nằm trong một tập hợp khác. Nếu tập hợp A = {1, 2} và tập hợp B = {1, 2, 3, 4}, thì A là tập con của B. Mọi tập hợp đều là tập con của chính nó. Tập hợp rỗng là tập con của mọi tập hợp.

Tập con thực sự là tập con không bằng tập hợp ban đầu. Tập A có 2 phần tử; tập B có 4 phần tử. Vì A ≠ B, nên A là tập con thực sự của B. Số tập con của một tập hợp có n phần tử là 2^n.

Tập con xuất hiện trong lý thuyết tập hợp, logic và khoa học máy tính. Trong xác suất, các sự kiện là tập con của không gian mẫu. Trong cơ sở dữ liệu, các truy vấn chọn các tập con của bản ghi. Khái niệm này đơn giản nhưng là nền tảng của toán học hiện đại.

• Tập hợp nằm trong một tập hợp khác
• Mọi tập hợp đều là tập con của chính nó.
• Tập hợp rỗng là tập con của mọi tập hợp.
• Số lượng tập con là 2^n