Trong toán học, khái niệm lực lượng hay lực lượng của một tập hợp dùng để chỉ "số phần tử" có trong tập hợp đó. Ví dụ tập A = {2, 4, 6} có ba phần tử, vậy lực lượng của A là 3. Có hai cách so sánh lực lượng của tập hợp: một là thông qua hàm song ánh và đơn ánh, hai là sử dụng số lực lượng của tập hợp.[1]
Lực lượng của tập A được ký hiệu là | A |, với hai dấu gạch dọc hai bên; giống như là ký hiệu giá trị tuyệt đối (hiểu theo ngữ cảnh). Hoặc lực lượng của A cũng có thể được ký hiệu là hoặc # A.
Lực lượng của một tập hợp có thể được biểu thị bằng một số đếm.
A có lực lượng lớn hơn B nếu chỉ có hàm đơn ánh mà không có song ánh từ B tới A.
Ví dụ, tập số thực R có lực lượng lớn hơn tập số tự nhiên N, bởi vì ánh xạ i: N → R là đơn ánh, và không tồn tại một song ánh từ N tới R (see Cantor's diagonal argument or Cantor's first uncountability proof).
.svg)
