Tập_hợp_đếm_được

Tập hợp đếm được (hay tập hợp có lực lượng đếm được) trong toán học được định nghĩatập hợp có thể thiết lập một đơn ánh vào tập hợp số tự nhiên. Điều này nghĩa là tập hợp này có cùng lực lượng với một tập con nào đó của tập các số tự nhiên.Các tập hợp không phải là tập đếm được được gọi là tập hợp không đếm được.Khái niệm này được nhà toán học Georg Cantor đưa ra.Một số tác giả thu hẹp định nghĩa tập đếm được là các tập mà tồn tại song ánh từ chúng tới tập hợp các số tự nhiên (tức là có cùng lực lượng với lực lượng của các số tự nhiên). Định nghĩa hẹp này loại bỏ những tập có số lượng hữu hạn các phần tử khỏi khái niệm đếm được.