The probability of an event depends not just on the experiment itself but on other information you are given about the experiment. Conditional probability forms a framework in which this additional information can be incorporated.
If and are two events then, as long as , the conditional probability of given is written as and calculated from
Note that this is a probability since:
Positivity: and so .
Finiteness: .
Additivity: Let and be disjoint sets . Then and are also disjoint, so (law of total probability)
Dividing by gives: .
When events and are independent .
It is often easiest to evaluate using .
Bayes theorem inverts the ordering of conditioning for events and :