# Conditional probability

### From Bvio.com

de:bedingte Wahrscheinlichkeit[[fr:probabilit� conditionnelle]][[it:probabilit� condizionata]]pl:prawdopodobieństwo warunkowe

This article defines some terms which characterize probability distributions of two or more variables.

**Conditional probability** is the probability of some event *A*, assuming event *B*.
Conditional probability is written *P*(*A*|*B*), and is read "the probability of *A*, given *B*".

**Joint probability** is the probability of two events in conjunction. That is, it is the probability of both events together.
The joint probability of *A* and *B* is written *P*(*A*, *B*).

**Marginal probability** is the probability of one event,
ignoring any information about the other event.
Marginal probability is obtained by summing (or integrating, more generally) the joint probability over the ignored event.
The marginal probability of *A* is written *P*(*A*),
and the marginal probability of *B* is written *P*(*B*).

In these definitions,
note that there need not be a causal or temporal relation between *A* and *B*.
*A* may precede *B*, or vice versa, or they may happen at the same time.
*A* may cause *B*, or vice versa, or they may have no causal relation at all.

## Relations

If *A* and *B* are events, and *P*(*B*) > 0, then

- <math>P(A\mid B)=\frac{P(A, B)}{P(B)}</math>

Equivalently, we have

- <math>P(A,B)=P(A\mid B)\cdot P(B)</math>

If <math>P(A, B) = P(A)P(B)</math> (equivalently, <math>P(A|B) = P(A)</math>), then we say that <math>A</math> and <math>B</math> are independent.

If <math>B</math> is an event and <math>P(B) > 0</math>, then the function <math>Q</math> defined by <math>Q(A) = P(A|B)</math> for all events <math>A</math> is a probability measure.

If <math>P(B)=0</math>, <math>P(A|B)</math> is left undefined.