Endlicher Wahrscheinlichkeitsraum/Vollständig unabhängige Ereignisse/Definition/Begriff/Inhalt

Die vollständige Unabhängigkeit der Ereignisse ${}E_{1},\ldots ,E_{k}$ bedeutet, dass für jedes ${}r$, ${}2\leq r\leq k$, und jede ${}r$-elementige Teilmenge ${}I\subseteq \{1,\ldots ,k\}$ die Gleichheit

${}\mu {\left(\bigcap _{i\in I}E_{i}\right)}=\prod _{i\in I}\mu (E_{i})\,$

gilt.