שינויים
/* הכללה לאיחודים וחיתוכים כל שהם */
נגדיר <math>\forall n\in \mathbb{N}\cup \{0\} \; A_n:=(n,n+1) \cup (-n-1,-n)</math> אזי
א. <math>\bigcup _{i\in \mathbb{N}} A_i = \mathbb{R}\smallsetminus \mathbb{Z} </math>
ב. <math>\bigcap _{i\in \mathbb{N}} A_i = \varnothing </math> ג. נגדיר <math>B_n=\mathbb{N}\setminus A_n</math>. חשבו את <math>\bigcap_{n\in \mathbb{N}} B_n</math>
הוכחה:
ב. מספיק להראות <math>A_1\cap A_2=\phi</math>.
ג. נתייחס ל-<math>\mathbb{N}</math> כקבוצה האוניברסלית לדיוננו. לפי דה-מורגן נקבל:<math>\bigcap_{n\in \mathbb{N}} B_n=\bigcap_{n\in \mathbb{N}} A_n^c=(\bigcup_{n\in \mathbb{N}} A_n)^c=(\mathbb{Z}^c)^c=\mathbb{Z}</math>.
