Olkoon $\mathcal S$ (äärellinen) otosavaruus, jonka osajoukoilla on määritelty
todennäköisyys ja olkoon $A$ otosavaruuden osajoukko eli tapahtuma. Milloin
pätee, että $A$ ja $B$ ovat riippumattomia, olipa $B$ mikä tahansa tapahtuma
eli $S$:n osajoukko?