In some cases, we will have to consider the union or the intersection of several, even infinitely many sets, defined in the obvious way. For example, if for every positive integer $n$, we are given a set $S_n$, then
$$\bbox[border:1px solid red]{\bigcup_{n=1}^\infty S_n}=S_1\cup S_2\cup\cdots=\{x\mid x\in S_n\text{ for some }n\},$$
and
$$\bigcap_{n=1}^\infty S_n=S_1\cap S_2\cap\cdots=\{x\mid x\in S_n\text{ for all }n\}.$$
Two sets are said to be disjoint if their intersection is empty. More generally, several sets are said to be disjoint if no two of them have a common element. A collection of sets is said to be a partition of a set $S$ if the sets in the collection are disjoint and their union is $S$.
Normally what I know is that you can make a union or an intersection between only two sets. In this expression, there is a big union of sets. I'm asking about the meaning of this expression – what does it mean? What does the infinity sign do at the top?
Things are even more complicated with De Morgan's laws, which use the same expression:
Two particularly useful properties are given by De Morgan's laws which state that
$$\left(\bigcup_nS_n\right)^c=\bigcap_nS_n^c,\quad\quad\quad\quad\left(\bigcap_nS_n\right)^c=\bigcup_nS_n^c.$$
Anyone who can explain to me the expression or De Morgan's laws would be much appreciated.
Best Answer
The equation where you've enclosed the first part in red is the definition of the $\bigcup_{n=1}^{\infty} S_n$ notation.
It works just like sum notation does: $$ \sum_{n=a}^{b} f(n) \quad\text{means}\quad f(a)+f(a+1)+\cdots+f(b-1)+f(b) $$ and $$ \bigcup_{n=a}^{b} f(n) \quad\text{means}\quad f(a)\cup f(a+1)\cup\cdots\cup f(b-1)\cup f(b) $$ $$ \bigcap_{n=a}^{b} f(n) \quad\text{means}\quad f(a)\cap f(a+1)\cap\cdots\cap f(b-1)\cap f(b) $$
When the upper limit is $\infty$ it means a union of infinitely many sets: $$ \bigcup_{n=a}^{\infty} f(n) \quad\text{means}\quad f(a)\cup f(a+1)\cup\cdots $$ whose precise meaning is defined in the explanation you quote.