\(\bigcup_{n\geq1}A_n=\Z^+\) dan \(\bigcap_{n\geq1}A_n=\{1\}\text{.}\) Maka \((\bigcup A_n)^c=\Z\setminus\Z^+=\bigcap A_n^c\text{,}\) serta \((\bigcap A_n)^c=\Z\setminus\{1\}=\bigcup A_n^c\text{.}\)