Given event where , then for any event we have

The general case holds for events such that they partition the sample space . That is, they are all pairwise disjoint:

We can think of the “” part as multiplying the result by the “weight” of the case that event occurs.

Intuitively, if , then when we sum them for , the “case” of should matter more in the overall sum for than .