Trong toán học, tập hợp có thể hiểu tổng quát là một sự tụ tập của một số hữu hạn hay vô hạn các đối tượng nào đó. Người ta khẳng định đối tượng này được gọi là các phần tử của tập hợp và bất kỳ một đối tượng nào cũng đều có thể được đưa vào một tập hợp. Tập hợp là một khái niệm nền tảng (fundamental) và quan trọng của toán học hiện đại. Ngành toán học nghiên cứu về tập hợp là lý thuyết tập hợp.