Definition

Let $B_1,\cdots,B_n$ be disjoint events such that $\cup_{i=1}^nB_i=\Omega$ and let $A\subset\Omega$ then $$P(A)=\sum^n_{i=1}P(A|B_i)P(B_i)$$