Let be a probability space, and let be events.
The conditional probability of given is defined as
If and , then