Với tập hợp X có hữu hạn phần tử, kí hiệu | X | là số phần tử của X.
Cho A, B là hai tập hợp hữu hạn phần tử, sắp xếp các số | A ∪ B | , | A \ B | , | A | + | B | theo thứ tự không giảm, ta được:
A. | A \ B | , | A ∪ B | , | A | + | B |
B. | A ∪ B | , | A | + | B | , | A \ B |
C. | A ∪ B | , | A \ B | , | A | + | B |
D. | A | + | B | , | A ∪ B | , | A \ B |