Hai tập hợp được cho là tương đương nếu chúng có cùng số phần tử trong mỗi tập hợp. Hai tập hợp tương đương được biểu thị bằng ký hiệu là A ~ B. Các tập hợp bằng nhau luôn tương đương, nhưng hai tập hợp tương đương không phải lúc nào cũng bằng nhau.
Nếu tập hợp A = {1,2,3,4,5} và tập hợp B = {a, b, c, d, e}, thì n (A) = 5 và n (B) = 5. Do đó , n (A) = n (B), hoặc số phần tử trong tập A bằng số phần tử trong tập B. Như vậy, tập A tương đương với tập B, hoặc A ~ B.
Nếu tập hợp A = {1,2,3,4,5} và tập hợp B = {5,4,3,2,1}, thì cả hai tập hợp có cùng số phần tử cũng như các phần tử giống nhau. Các tập hợp như vậy được gọi là các tập hợp bằng nhau. Chúng cũng có cùng một số phần tử theo thứ tự khác nhau. Do đó, n (A) = n (B) = 5, hoặc A ~ B.
