Let $X_1, \ldots, X_N$ each be a D17: Finite set.

Then \begin{equation} \left| \bigcup_{n = 1}^N X_n \right| \leq \sum_{n = 1}^N |X_n| \end{equation}