Let $S$ be an infinite set and $S_1 \dots , S_n$ be sets such that $S_1 \cup S_2 \cup \dots \cup S_n = S$. Then
- at least one of the sets $S_i$ is a finite set
- not more than one of the sets $S_i$ can be finite
- at least one of the sets $S_i$ is an infinite
- None of the above