Definition Suppose {Bn∣n∈N} is a set of mutually and collectively exclusive events, then for any event A: P(A)=n∑P(A∣Bn)P(Bn)=n∑P(A,Bn)