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 .