Với tập $X$ có hữu hạn phần tử, kí hiệu |$X$| là số phần tử của $X$. C

Với tậ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\cup B|$, |$A$ \ $B$|, $\left|A\right|+\left|B\right|$ theo thứ tự không giảm ta được: