n=1 ist wohl klar.
Wenn es für n gilt , dann gilt auch
\( \overline{\cup_{i=1}^{n+1} A_{i}}=   \overline{\cup_{i=1}^{n} A_{i}  \cup A_{n+1}  } \)
Mit de Morgan:
\( =  \overline{\cup_{i=1}^{n} A_{i} } \cap \overline {A_{n+1}  }  = \)  Ind. annahme !
\( \cap_{i=1}^{n} \overline{A_{i}}  \cap \overline {A_{n+1}  } = \cap_{i=1}^{n+1} \overline{A_{i}}  \)