Law of total probability
From Conservapedia
In mathematics, the law of total probability states that if
and
are events, then

(see [1])
In general, if
are mutually exclusive events that partition the sample space, and
is any event, then

(see [2])