- At least one of the set $S_{i}$ is a finite set. Well, it is not said that$S_{1},S_{2}\ldots S_{n}$ whether they are finite or infinite. It is possible to break down infinite sets into few sets (Some of which can be finite). This seems true, but I'm not able to prove it. Please Give a suitable counterexample here, if you think this is false.
Ex-$: a^{\ast},$ this is infinite set. I can write it as $\{\}\cup \{a^{\ast}\},$ where $\{a^{\ast}\}$ is infinite.
- Not more than one of the sets can be finite. This is false.
Ex $: a^{\ast}b^{\ast}\Rightarrow \{ab\} \cup \{\} \cup \{{aa}^{+}{bb}^{+}\}.$
- At least one of the sets is Infinite. This must be True. As this is a finite union of sets, one of the sets must be infinite to make the whole thing infinite. True.
- Not more than one of the sets $S_i$ can be infinite. This is false.
Ex $: a^{\ast}b^{\ast} = \{a^{p}b^{q}|p=q\}\cup \{a^{m}b^{n}|m\neq n\}$ such that $p,q,m,n \geq 0.$
Answer C is surely true.