Definition A collection of elements A1,…,An is mutually independent if for any sub-collection Ak,…,Aj P(Ak∩Ak+1∩⋯∩Aj)=P(Ak)P(Ak+1)…P(Aj)⟺P(∩i=1mAki)=Πi=1mP(Aki)