Tập hợp là kiểu dữ liệu trừu tượng có thể lưu trữ các giá trị nhất định, không có bất kỳ thứ tự cụ thể nào và không có giá trị lặp lại. Nó là một triển khai máy tính của khái niệm toán học của một tập hợp hữu hạn. Không giống như hầu hết các loại tập hợp khác, thay vì truy xuất một phần tử cụ thể từ một tập hợp, một tập hợp thường kiểm tra một giá trị cho tư cách thành viên trong một tập hợp.