Tập hợp là một tập hợp các đối tượng khác nhau. Các đối tượng là các phần tử. Một tập hợp có thể được liệt kê: {1, 2, 3}. Hoặc được mô tả: tập hợp các số chẵn. Tập hợp có thể hữu hạn hoặc vô hạn. Tập hợp rỗng, được ký hiệu là ∅, không có phần tử nào.

Lý thuyết tập hợp, được Cantor phát triển vào thế kỷ XIX, đã trở thành nền tảng của toán học hiện đại. Các phép toán bao gồm hợp, giao, hiệu và phần bù. Sơ đồ Venn minh họa các phép toán này.

Tập hợp xuất hiện xuyên suốt toán học. Hàm số ánh xạ tập hợp này sang tập hợp khác. Xác suất sử dụng không gian mẫu. Logic sử dụng tập hợp các giá trị chân lý. Trong khoa học máy tính, tập hợp là cấu trúc dữ liệu. Khái niệm này đơn giản nhưng lại là nền tảng cho hầu hết mọi nhánh của toán học.

• Tập hợp các đối tượng riêng biệt
• Các phần tử là các đối tượng
• Các phép toán: hợp, giao, phần bù
• Nền tảng của toán học hiện đại