1: \begin{definition} (Definition-Theorem) The events $A_{i},$ $1\leq i\leq k,$ are independent if and only if the mappings $1_{A_{i}}$ are independent if and only if for each $s$-tuple $1\leq i_{1}\leq i_{2}\leq ...\leq i_{s}\leq k$, of non-negative integers, 

2: \begin{equation}

3: \mathbb{P}\left(\bigcap_{1\leq j\leq s}A_{i_{j}}\right)=\prod_{1\leq j\leq s}\mathbb{P}%

4: (A_{i_{j}}).

5: \end{equation}

6: \end{definition}

7: