Trong toán học, một tập hợp hữu hạn là một tập hợp có một số hữu hạn các phần tử. Một cách không chính thức, một tập hữu hạn là một tập hợp mà có thể đếm và có thể kết thúc việc đếm. Ví dụ,là một tập hợp hữu hạn có 5 phần tử. Số phần tử của một tập hợp hữu hạn là một số tự nhiên (một số nguyên không âm) và được gọi là lực lượng của tập hợp đó. Một tập hợp mà không hữu hạn được gọi là tập hợp vô hạn. Ví dụ, tập hợp tất cả các số nguyên dương là vô hạn:Tập hợp hữu hạn đặc biệt quan trọng trong toán học tổ hợp, môn toán học nghiên cứu về phép đếm. Nhiều bài toán liên quan đến các tập hữu hạn dựa vào nguyên lý ngăn kéo Dirichlet, chỉ ra rằng không thể tồn tại một đơn ánh từ một tập hợp hữu hạn lớn hơn vào một tập hợp hữu hạn nhỏ hơn.