设A、B均为有限集，A中的元素个数为m，B中的元素的个数为n，A∪B中的元素的个数为s，则下列式子一定成立的是

1. A.
   m+n＞s
2. B.
   m+n＜s
3. C.
   m+n=s
4. D.
   m+n≥s