The Multiplication Rule

Suppose a factory ships components through three inspection stations. Each station rejects a fraction of what it receives. You want the probability that a single component clears all three. You cannot simply multiply the three individual pass-rates unless the stations act independently. In reality, the second station's pass-rate depends on what already survived the first. How do you compute the probability of a sequence of dependent events without assuming independence at all? This is exactly the gap that the Multiplication Rule fills. It does so with no extra assumptions beyond the definition of Conditional Probability itself. The Multiplication Rule — also called the chain rule for probability — expresses the probability of an intersection of events. It does so as a product of successively conditioned probabilities. It is the algebraic engine that lets us build complicated joint probabilities. We start from simple, one-step-at-a-time conditional statements: first this happens, then that happens given the first, then a third thing happens given both previous ones, and so on. This "build sequentially" viewpoint mirrors how we naturally think about processes unfolding in time. Examples include draws from an urn without replacement, a sequence of coin flips, or a chain of genetic inheritance. This is precisely why the rule is indispensable in the study of Markov chains, sequential hypothesis testing, and stochastic processes generally. The big picture is that the rule is not an extra axiom bolted onto probability theory. It is a direct algebraic consequence of the definition of conditional probability. It is proved by nothing more than telescoping cancellation. Its power comes from generality: it holds for any finite collection of events, with no independence assumption. It reduces to the familiar "multiply the probabilities" shortcut exactly when independence is present. Understanding this rule carefully — including the precise condition under which it is even well-defined — is a prerequisite. It underlies the Law of Total Probability and the Bayes' Theorem, both of which decompose or invert exactly this kind of sequential product. This article gives the formal statement of the rule for two events and for nn events. It includes a complete inductive proof from the definition of conditional probability. It also offers a diagram illustrating the sequential "tree" picture. Two fully worked asymmetric examples follow: a without-replacement card problem and a manufacturing-defect chain. There is a counterexample showing why the positivity hypothesis cannot be dropped. Finally, it discusses where the rule surfaces across probability, statistics, and computer science.

Key takeaways
  • The Multiplication Rule writes P(A∩B)=P(A)P(B∣A)P(A\cap B) = P(A)P(B\mid A), and generalizes to nn events by chaining conditional probabilities.
  • It is not a new axiom — it follows immediately from the definition P(B∣A)=P(A∩B)/P(A)P(B\mid A) = P(A\cap B)/P(A).
  • The nn-event version requires every partial intersection P(A1∩⋯∩Ak)P(A_1\cap\cdots\cap A_k) (for k<nk<n) to be strictly positive, or the conditional probabilities are undefined.
  • The rule is exact for dependent events; independence is a special case where every conditional term collapses to an unconditional one.
  • It underlies sequential sampling without replacement, Markov chain path probabilities, and likelihood factorizations in statistics.
  • Key idea: to find the probability that a whole sequence of events all occur, multiply the probability of the first by the probability of each subsequent event conditional on all the ones before it.

Where this lives today

The Multiplication Rule is the algebraic backbone of far more than textbook urn problems. In the theory of Markov chains, the probability of an entire finite trajectory X0=x0,X1=x1,…,Xn=xnX_0 = x_0, X_1 = x_1, \ldots, X_n = x_n is computed by chaining transition probabilities exactly via this rule; the Markov property then simplifies each conditional factor P(Xk=xk∣X0=x0,…,Xk−1=xk−1)P(X_k = x_k \mid X_0=x_0,\ldots,X_{k-1}=x_{k-1}) down to P(Xk=xk∣Xk−1=xk−1)P(X_k=x_k\mid X_{k-1}=x_{k-1}), but the underlying decomposition into a product is the Multiplication Rule itself. In statistics, the likelihood function for a sequence of non-independent observations (such as an autoregressive time series) is written as a product of one-step-ahead conditional densities via the same chain-rule logic, which is the continuous analogue of this discrete rule. In Bayesian networks and probabilistic graphical models in computer science, the joint distribution over many variables is factored into a product of local conditional distributions according to a directed acyclic graph — a direct generalization of the Multiplication Rule to structured dependency graphs, underlying algorithms in machine learning and artificial intelligence. In cryptography, security proofs for protocols often bound the probability of a sequence of adversarial events (guessing a key, forging a signature, and so on) by chaining conditional probabilities across the stages of an attack, applying the same telescoping logic to obtain a union or product bound. In reliability engineering, the probability that a system survives a sequence of dependent stress tests (as in Worked Example 2) is computed exactly this way, forming the basis of sequential quality-control models. And pedagogically, the rule is the direct stepping stone to the Law of Total Probability, which reverses the roles by summing over a partition, and to Bayes' Theorem, which inverts the order of conditioning within a two-event application of this very rule.

Ask the tutor: Can you show me how the Multiplication Rule is used inside the derivation of Bayes' Theorem?

DefinitionThe Multiplication Rule

Let (Ω,F,P)(\Omega, \mathcal{F}, P) be a probability space.

Two-event case. For events A,B∈FA, B \in \mathcal{F} with P(A)>0P(A) > 0,

P(A∩B)=P(A) P(B∣A).P(A \cap B) = P(A)\, P(B \mid A).

General nn-event case. Let A1,A2,…,An∈FA_1, A_2, \ldots, A_n \in \mathcal{F} be events such that

P(A1∩A2∩⋯∩An−1)>0.P(A_1 \cap A_2 \cap \cdots \cap A_{n-1}) > 0.

(This single condition automatically forces P(A1∩⋯∩Ak)>0P(A_1 \cap \cdots \cap A_k) > 0 for every k=1,…,n−1k = 1, \ldots, n-1, since these intersections are nested and probability is monotone.) Then

P(A1∩A2∩⋯∩An)=P(A1) P(A2∣A1) P(A3∣A1∩A2)⋯P(An∣A1∩⋯∩An−1).P(A_1 \cap A_2 \cap \cdots \cap A_n) = P(A_1)\, P(A_2 \mid A_1)\, P(A_3 \mid A_1 \cap A_2) \cdots P(A_n \mid A_1 \cap \cdots \cap A_{n-1}).

Each conditional probability on the right side is well defined precisely because the event it conditions on has positive probability.

Intuition

Think of the event A1∩A2∩⋯∩AnA_1 \cap A_2 \cap \cdots \cap A_n as a path through a decision tree. At the root, the first branch splits according to whether A1A_1 occurs. Along the branch where A1A_1 occurs, a second split occurs according to whether A2A_2 occurs — but now the relevant probability is the conditional probability P(A2∣A1)P(A_2 \mid A_1), because we are already standing inside the branch where A1A_1 happened. The probability of reaching the leaf corresponding to "all of A1,…,AnA_1, \ldots, A_n occur" is the product of the branch probabilities along the unique path from root to that leaf. This is exactly what the Multiplication Rule computes. The key conceptual point is that at each stage, the "sample space" effectively shrinks to the event that has already occurred, and the next probability is measured relative to that shrunken space. There is no new physics here, no new axiom — it is bookkeeping that follows directly from the ratio definition of conditional probability, applied one step at a time and telescoped.

Figure
A three-event probability tree illustrating the chain of conditioning
Ω P(A₁)=0.6 A₁ P(A₂|A₁)=0.5 A₁∩A₂ P(A₃|A₁∩A₂)=0.4 P(A₁∩A₂∩A₃) = 0.6 × 0.5 × 0.4 = 0.12 P(A₁ᶜ)=0.4 A₁ᶜ

The Central Theorem

TheoremMultiplication Rule for nn events

Let (Ω,F,P)(\Omega, \mathcal{F}, P) be a probability space and let A1,…,An∈FA_1, \ldots, A_n \in \mathcal{F}, n≥2n \geq 2, satisfy

P(A1∩A2∩⋯∩An−1)>0.P(A_1 \cap A_2 \cap \cdots \cap A_{n-1}) > 0.

Then

P(⋂i=1nAi)=P(A1)∏k=2nP ⁣(Ak | ⋂i=1k−1Ai),P\left(\bigcap_{i=1}^{n} A_i\right) = P(A_1) \prod_{k=2}^{n} P\!\left(A_k \,\middle|\, \bigcap_{i=1}^{k-1} A_i\right),

and every factor on the right is well defined.

Proof

Proof technique: finite induction on nn, using telescoping cancellation of the ratio definition of conditional probability. Step 0 (monotonicity gives well-definedness of every factor). Since A1∩⋯∩Ak⊇A1∩⋯∩Ak−1∩⋯∩An−1A_1 \cap \cdots \cap A_k \supseteq A_1 \cap \cdots \cap A_{k-1} \cap \cdots \cap A_{n-1} is not generally true in that direction, we instead use the correct nesting: for 1≤k≤n−11 \le k \le n-1,

A1∩A2∩⋯∩An−1⊆A1∩A2∩⋯∩Ak,A_1 \cap A_2 \cap \cdots \cap A_{n-1} \subseteq A_1 \cap A_2 \cap \cdots \cap A_k,

because the left side requires more events to hold simultaneously than the right side (the right side is an intersection of only the first k≤n−1k \le n-1 of the same events). By monotonicity of probability measures (if E⊆FE \subseteq F then P(E)≤P(F)P(E) \le P(F), a basic consequence of countable additivity applied to F=E∪(F∖E)F = E \cup (F\setminus E), a disjoint union), we get

P(A1∩⋯∩Ak)  ≥  P(A1∩⋯∩An−1)  >  0P(A_1 \cap \cdots \cap A_k) \;\geq\; P(A_1 \cap \cdots \cap A_{n-1}) \;>\; 0

for every k=1,…,n−1k = 1, \ldots, n-1. Hence every conditioning event A1∩⋯∩AkA_1 \cap \cdots \cap A_k appearing in the statement has strictly positive probability, so each conditional probability P(Ak+1∣A1∩⋯∩Ak)P(A_{k+1} \mid A_1 \cap \cdots \cap A_k) is well defined by the ratio definition

P(Ak+1∣A1∩⋯∩Ak):=P(A1∩⋯∩Ak∩Ak+1)P(A1∩⋯∩Ak).P(A_{k+1} \mid A_1 \cap \cdots \cap A_k) := \frac{P(A_1 \cap \cdots \cap A_k \cap A_{k+1})}{P(A_1 \cap \cdots \cap A_k)}.

Step 1 (base case n=2n=2). We must show P(A1∩A2)=P(A1)P(A2∣A1)P(A_1 \cap A_2) = P(A_1) P(A_2 \mid A_1), under the hypothesis P(A1)>0P(A_1) > 0 (this is the n=2n=2 instance of the hypothesis P(A1∩⋯∩An−1)>0P(A_1\cap\cdots\cap A_{n-1})>0). This is immediate from the definition of conditional probability:

P(A2∣A1)=P(A1∩A2)P(A1)⟹P(A1)P(A2∣A1)=P(A1)⋅P(A1∩A2)P(A1)=P(A1∩A2),P(A_2 \mid A_1) = \frac{P(A_1 \cap A_2)}{P(A_1)} \quad\Longrightarrow\quad P(A_1) P(A_2 \mid A_1) = P(A_1) \cdot \frac{P(A_1 \cap A_2)}{P(A_1)} = P(A_1 \cap A_2),

where the cancellation is valid because P(A1)>0P(A_1) > 0, so the fraction is well defined and the multiplication by P(A1)P(A_1) exactly cancels the denominator. This establishes the base case. Step 2 (inductive step). Suppose the claim holds for some n=m≥2n = m \geq 2: that is, whenever P(A1∩⋯∩Am−1)>0P(A_1 \cap \cdots \cap A_{m-1}) > 0,

P(A1∩⋯∩Am)=P(A1)∏k=2mP(Ak∣A1∩⋯∩Ak−1).(IH)P(A_1 \cap \cdots \cap A_m) = P(A_1) \prod_{k=2}^{m} P(A_k \mid A_1 \cap \cdots \cap A_{k-1}). \tag{IH}

Now consider n=m+1n = m+1 events A1,…,Am+1A_1, \ldots, A_{m+1} satisfying P(A1∩⋯∩Am)>0P(A_1 \cap \cdots \cap A_m) > 0. By Step 0 (applied with n=m+1n = m+1), we already know P(A1∩⋯∩Am−1)≥P(A1∩⋯∩Am)>0P(A_1 \cap \cdots \cap A_{m-1}) \ge P(A_1\cap\cdots\cap A_m) > 0, so the inductive hypothesis (IH) applies to the first mm events and gives

P(A1∩⋯∩Am)=P(A1)∏k=2mP(Ak∣A1∩⋯∩Ak−1).(∗)P(A_1 \cap \cdots \cap A_m) = P(A_1) \prod_{k=2}^{m} P(A_k \mid A_1 \cap \cdots \cap A_{k-1}). \tag{$\ast$}

Next, apply the base case (Step 1) to the two events B:=A1∩⋯∩AmB := A_1 \cap \cdots \cap A_m and C:=Am+1C := A_{m+1}, which is legitimate because P(B)=P(A1∩⋯∩Am)>0P(B) = P(A_1\cap\cdots\cap A_m) > 0 by hypothesis:

P(B∩C)=P(B) P(C∣B),P(B \cap C) = P(B)\, P(C \mid B),

that is,

P(A1∩⋯∩Am∩Am+1)=P(A1∩⋯∩Am)⋅P(Am+1∣A1∩⋯∩Am).(∗∗)P(A_1 \cap \cdots \cap A_m \cap A_{m+1}) = P(A_1 \cap \cdots \cap A_m) \cdot P\big(A_{m+1} \mid A_1 \cap \cdots \cap A_m\big). \tag{$\ast\ast$}

Substituting (∗)(\ast) into the right side of (∗∗)(\ast\ast) in place of P(A1∩⋯∩Am)P(A_1\cap\cdots\cap A_m) gives

P(A1∩⋯∩Am+1)=P(A1)(∏k=2mP(Ak∣A1∩⋯∩Ak−1))⋅P(Am+1∣A1∩⋯∩Am)=P(A1)∏k=2m+1P(Ak∣A1∩⋯∩Ak−1),P(A_1 \cap \cdots \cap A_{m+1}) = P(A_1) \left(\prod_{k=2}^{m} P(A_k \mid A_1 \cap \cdots \cap A_{k-1})\right) \cdot P(A_{m+1} \mid A_1 \cap \cdots \cap A_m) = P(A_1)\prod_{k=2}^{m+1} P(A_k\mid A_1\cap\cdots\cap A_{k-1}),

which is exactly the claim for n=m+1n = m+1. Step 3 (conclusion). By the principle of mathematical induction, the identity holds for all integers n≥2n \geq 2, and by Step 0 every factor in the product is well defined whenever the hypothesis P(A1∩⋯∩An−1)>0P(A_1 \cap \cdots \cap A_{n-1}) > 0 holds. ■\blacksquare Note the proof used only the ratio definition of conditional probability and monotonicity of PP (itself a one-line consequence of finite additivity); it invoked no result that itself depends on the Multiplication Rule, so the argument is non-circular.

∎
CorollaryReduction under independence

If A1,…,AnA_1, \ldots, A_n are mutually independent events (in the sense that P(Ai∣A1∩⋯∩Ai−1)=P(Ai)P(A_i \mid A_1\cap\cdots\cap A_{i-1}) = P(A_i) for every ii for which the conditioning event has positive probability), then the Multiplication Rule reduces to

P(A1∩⋯∩An)=∏i=1nP(Ai).P(A_1 \cap \cdots \cap A_n) = \prod_{i=1}^n P(A_i).

This is an immediate substitution into the theorem: each conditional factor P(Ak∣A1∩⋯∩Ak−1)P(A_k \mid A_1\cap\cdots\cap A_{k-1}) equals the unconditional P(Ak)P(A_k) by the independence hypothesis, and the product of conditionals becomes a product of unconditional probabilities.

Worked examples

Example 1 — Drawing cards without replacement (asymmetric, three-stage chain). A standard deck has 52 cards, 13 of which are hearts. Three cards are drawn sequentially without replacement, and not returned to the deck. Find the probability that the first card is a heart, the second card is a spade, and the third card is also a heart. Let A1A_1 = "first card is a heart," A2A_2 = "second card is a spade," A3A_3 = "third card is a heart." We want P(A1∩A2∩A3)P(A_1 \cap A_2 \cap A_3). By the Multiplication Rule,

P(A1∩A2∩A3)=P(A1) P(A2∣A1) P(A3∣A1∩A2).P(A_1 \cap A_2 \cap A_3) = P(A_1)\, P(A_2 \mid A_1)\, P(A_3 \mid A_1 \cap A_2).
  • P(A1)=1352P(A_1) = \dfrac{13}{52}, since 13 of 52 cards are hearts.
  • P(A2∣A1)P(A_2 \mid A_1): given the first card was a heart (and removed), 51 cards remain, of which 13 are spades (untouched, since spades weren't affected by removing a heart). So P(A2∣A1)=1351P(A_2 \mid A_1) = \dfrac{13}{51}.
  • P(A3∣A1∩A2)P(A_3 \mid A_1 \cap A_2): given the first card was a heart and the second was a spade, 50 cards remain. One heart has been removed, so 12 hearts remain among the 50. So P(A3∣A1∩A2)=1250P(A_3 \mid A_1 \cap A_2) = \dfrac{12}{50}.

Therefore,

P(A1∩A2∩A3)=1352⋅1351⋅1250.P(A_1 \cap A_2 \cap A_3) = \frac{13}{52}\cdot \frac{13}{51}\cdot\frac{12}{50}.

Compute step by step:

1352=14,14⋅1351=13204,13204⋅1250=13⋅12204⋅50=15610200.\frac{13}{52} = \frac{1}{4}, \qquad \frac{1}{4}\cdot\frac{13}{51} = \frac{13}{204}, \qquad \frac{13}{204}\cdot\frac{12}{50} = \frac{13 \cdot 12}{204 \cdot 50} = \frac{156}{10200}.

Simplify: gcd⁡(156,10200)=12\gcd(156, 10200) = 12, giving 156/12=13156/12 = 13 and 10200/12=85010200/12 = 850. So

P(A1∩A2∩A3)=13850≈0.015294.P(A_1\cap A_2\cap A_3) = \frac{13}{850} \approx 0.015294.

Note the asymmetry deliberately built in: the three events are of different suits (A1,A3A_1, A_3 hearts, A2A_2 spades), so the removal of a heart on draw 1 does not diminish the spade count on draw 2, but does diminish the heart count relevant to draw 3 — a subtlety the rule tracks automatically because each conditioning event is the actual accumulated history, not a symmetric placeholder.

Example 2 — A three-station manufacturing inspection chain. A component passes through three sequential inspection stations, S1,S2,S3S_1, S_2, S_3. Let AiA_i denote the event "the component passes station ii." Historical data give:

  • P(A1)=0.90P(A_1) = 0.90 (10% of components fail the first, coarsest inspection).
  • P(A2∣A1)=0.95P(A_2 \mid A_1) = 0.95 (given it passed station 1, it passes the finer station 2 with probability 0.95).
  • P(A3∣A1∩A2)=0.80P(A_3 \mid A_1 \cap A_2) = 0.80 (station 3 is the strictest test, applied only to components that already passed both earlier stations, and even among these survivors only 80% pass).

These are precisely the conditional inputs the Multiplication Rule requires — note they are not symmetric (0.90, 0.95, 0.80 are all different), which is realistic since later stations are typically stricter or test different failure modes with different base rates. We want the probability that a randomly selected component clears the entire inspection chain, P(A1∩A2∩A3)P(A_1 \cap A_2 \cap A_3). By the theorem,

P(A1∩A2∩A3)=P(A1) P(A2∣A1) P(A3∣A1∩A2)=0.90×0.95×0.80.P(A_1 \cap A_2 \cap A_3) = P(A_1)\, P(A_2\mid A_1)\, P(A_3 \mid A_1\cap A_2) = 0.90 \times 0.95 \times 0.80.

Compute: 0.90×0.95=0.8550.90 \times 0.95 = 0.855, and 0.855×0.80=0.6840.855 \times 0.80 = 0.684. So P(A1∩A2∩A3)=0.684P(A_1\cap A_2 \cap A_3) = 0.684: about 68.4% of components clear all three stations. Note this is far below the naive (and wrong, if we don't check independence) guess of "roughly 90%," because each stage compounds a nontrivial rejection rate on the conditional survivors — exactly the sequential shrinking-sample-space effect the rule captures. As a sanity check, if a manager wrongly assumed independence and wrongly used the unconditional station pass-rates P(A1),P(A2),P(A3)P(A_1), P(A_2), P(A_3) estimated from the full population — say the marginal pass rate of station 3 in isolation happens to be 0.830.83 rather than 0.800.80 — multiplying 0.90×0.95×0.83=0.709650.90 \times 0.95 \times 0.83 = 0.70965 would silently give the wrong answer, because P(A3)P(A_3) (marginal) and P(A3∣A1∩A2)P(A_3\mid A_1\cap A_2) (the correct conditional term) need not coincide. This is the entire reason the Multiplication Rule insists on conditioning on the accumulated history rather than using marginal probabilities.

CounterexampleWhy the positivity hypothesis cannot be dropped

The theorem requires P(A1∩⋯∩An−1)>0P(A_1 \cap \cdots \cap A_{n-1}) > 0. Suppose we drop this and allow P(A1)=0P(A_1) = 0. Let Ω={1,2,3,4}\Omega = \{1,2,3,4\} with PP uniform, so each outcome has probability 1/41/4. Let

A1=∅,A2={1,2}.A_1 = \varnothing, \qquad A_2 = \{1,2\}.

Then P(A1)=0P(A_1) = 0, and P(A1∩A2)=P(∅)=0P(A_1 \cap A_2) = P(\varnothing) = 0. The right-hand side of the two-event Multiplication Rule, P(A1)P(A2∣A1)P(A_1) P(A_2 \mid A_1), requires computing P(A2∣A1)=P(A1∩A2)/P(A1)=0/0P(A_2 \mid A_1) = P(A_1 \cap A_2)/P(A_1) = 0/0, which is undefined — not merely zero, but a genuine indeterminate form with no canonical value. There is no way to assign a value to P(A2∣A1)P(A_2\mid A_1) that makes the identity P(A1∩A2)=P(A1)P(A2∣A1)P(A_1\cap A_2) = P(A_1)P(A_2\mid A_1) meaningfully hold as a product of two well-defined numbers, because one of the two factors simply does not exist. One might try to "patch" this by declaring P(A2∣A1):=0P(A_2\mid A_1) := 0 by convention whenever P(A1)=0P(A_1)=0, and indeed then 0×0=0=P(A1∩A2)0 \times 0 = 0 = P(A_1\cap A_2) would numerically match — but this is a fragile coincidence of this particular example, not a general fact. Consider instead A1=∅A_1 = \varnothing and any A2A_2 with P(A2)=1/2P(A_2) = 1/2: the same convention gives P(A1)⋅0=0=P(∅∩A2)=P(∅)=0P(A_1)\cdot 0 = 0 = P(\varnothing \cap A_2) = P(\varnothing) = 0, which "works," but only because P(A1∩A2)=P(∅)=0P(A_1 \cap A_2) = P(\varnothing) = 0 automatically for any A2A_2 whenever A1=∅A_1=\varnothing — the equation becomes vacuous (0=00=0) rather than informative, so the convention conveys no real conditional information and cannot be used, for instance, to recover P(A2∣A1)P(A_2 \mid A_1) from data or to chain further conditioning correctly in longer sequences. This is precisely why the hypothesis P(A1∩⋯∩An−1)>0P(A_1\cap\cdots\cap A_{n-1})>0 is retained as a genuine, non-removable requirement in the theorem: without it, at least one factor in the product is not a real number, and the identity is either meaningless or vacuously uninformative.

Scope, edge cases & common traps

SituationWhat happens
P(A1∩⋯∩An−1)>0P(A_1 \cap \cdots \cap A_{n-1}) > 0Rule applies exactly as stated; every conditional factor well defined.
Some intersection P(A1∩⋯∩Ak)=0P(A_1\cap\cdots\cap A_k)=0 for k<nk<nA later conditional probability is 0/00/0: undefined. Rule cannot be applied at that step.
Events mutually independentRule reduces to plain product ∏P(Ai)\prod P(A_i) (Independence of Events).
Order of conditioning events relabeledThe product's value is unchanged (it always equals P(⋂Ai)P(\bigcap A_i)), but the individual factors change — conditioning on A1∩A2A_1\cap A_2 then A3A_3 gives different intermediate numbers than conditioning on A2∩A3A_2\cap A_3 then A1A_1, even though the final product agrees.
Sampling without replacementCanonical use case: each draw changes the composition of what remains, so successive conditional probabilities differ from the unconditional ones.
Sampling with replacement, independent trialsConditional probabilities collapse to marginal ones; rule reduces to the independence corollary.

The mathematician behind it

Origins · 1 minAndrey Nikolaevich Kolmogorov and how this was discovered
AN
Andrey Nikolaevich Kolmogorov
1903–1987 · Soviet mathematician, architect of modern axiomatic probability theory

Kolmogorov's 1933 monograph Grundbegriffe der Wahrscheinlichkeitsrechnung placed conditional probability and its consequences, including the multiplication rule for sequential events, on a rigorous measure-theoretic foundation. Before Kolmogorov, probability calculations — including chained conditional arguments used implicitly since Bayes and Laplace — lacked a universally agreed axiomatic basis; Kolmogorov showed that conditional probability, and hence the Multiplication Rule, follows as a theorem once probability is defined as a measure satisfying countable additivity on a σ\sigma-algebra of events.

History
- 1654 — Pascal and Fermat's correspondence on the problem of points implicitly uses sequential conditional reasoning to resolve a wager, an early precursor of chained probability arguments.
- 1763 — Thomas Bayes' posthumously published essay formalizes conditional probability reasoning that the Multiplication Rule makes precise and reversible.
- 1812 — Pierre-Simon Laplace's Théorie analytique des probabilités systematizes conditional and compound probability calculations, including sequential drawing-without-replacement problems.
- 1933 — Andrey Kolmogorov's axiomatization derives conditional probability, and consequently the Multiplication Rule, rigorously from measure theory.
- 1950s onward — The rule becomes the standard justification for factorizing joint distributions in Markov chains, hidden Markov models, and Bayesian networks.
Is the Multiplication Rule a new axiom of probability?

No. It is a direct algebraic consequence of the definition of conditional probability, P(B∣A)=P(A∩B)/P(A)P(B\mid A) = P(A\cap B)/P(A) for P(A)>0P(A)>0. Multiplying both sides by P(A)P(A) and using that P(A)>0P(A)>0 lets you cancel the denominator, immediately giving P(A∩B)=P(A)P(B∣A)P(A\cap B) = P(A)P(B\mid A). The nn-event version follows by induction, applying this two-event identity repeatedly and telescoping. No additional postulate about probability is needed beyond Kolmogorov's axioms and the ratio definition of conditioning.

How is the Multiplication Rule different from the Law of Total Probability?

The Multiplication Rule computes the probability of an intersection (all listed events happening together) by chaining conditional probabilities forward through a sequence. The Law of Total Probability, in contrast, computes the probability of a single event by summing its probability across a partition of the sample space, using the Multiplication Rule internally for each piece: P(B)=∑iP(Ai)P(B∣Ai)P(B) = \sum_i P(A_i)P(B\mid A_i). So the Multiplication Rule is a tool used inside the Law of Total Probability, not a competing statement.

Does the order in which I condition on the events matter?

The final numerical value P(A1∩⋯∩An)P(A_1\cap\cdots\cap A_n) never depends on the order, since intersection is commutative and associative. However, the individual conditional factors in the product do depend on the order you choose to condition in — P(A2∣A1)P(A_2\mid A_1) is generally a different number from P(A1∣A2)P(A_1\mid A_2), even though both orderings multiply out to the same final answer P(A1∩A2)P(A_1\cap A_2). Choose whichever order makes the conditional probabilities easiest to state or estimate from context (e.g., chronological order in a sequential experiment).

Can the Multiplication Rule be applied to infinitely many events?

The rule as stated is for finite nn. Extending it to a countably infinite sequence A1,A2,…A_1, A_2, \ldots requires additional care: one considers P(⋂i=1nAi)P(\bigcap_{i=1}^n A_i) for each finite nn and then takes a limit as n→∞n\to\infty, using continuity of probability measures along decreasing sequences of events (a consequence of countable additivity). The resulting infinite product ∏k=1∞P(Ak∣A1∩⋯∩Ak−1)\prod_{k=1}^\infty P(A_k\mid A_1\cap\cdots\cap A_{k-1}) converges to P(⋂i=1∞Ai)P(\bigcap_{i=1}^\infty A_i), but this is a distinct, more advanced result built on top of the finite rule, not a direct restatement of it.

What if some of the events are guaranteed impossible partway through the chain?

If at some stage P(A1∩⋯∩Ak)=0P(A_1\cap\cdots\cap A_k)=0, then all subsequent conditional probabilities in the chain are of the form 0/00/0 and are simply undefined; the Multiplication Rule cannot be mechanically applied past that point. In practice this usually signals that the sequence of events is already known to be impossible: since A1∩⋯∩An⊆A1∩⋯∩AkA_1\cap\cdots\cap A_n \subseteq A_1\cap\cdots\cap A_k, if the latter has probability zero, so does the former, and you can directly conclude P(A1∩⋯∩An)=0P(A_1\cap\cdots\cap A_n)=0 by monotonicity, without needing the conditional factorization at all.

How does this rule relate to sampling without replacement?

Sampling without replacement is the paradigm example where conditional probabilities genuinely differ from marginal ones at every stage, because removing an item changes the composition of what remains. This is exactly why the Multiplication Rule (rather than a naive product of unconditional probabilities) is needed: in Worked Example 1, the probability a third card is a heart depends on how many hearts remain, which depends on the first draw. Sampling with replacement, by contrast, keeps the population unchanged, so all conditional probabilities collapse to marginal ones and the independence corollary applies.

Can I use the Multiplication Rule if I only know unconditional probabilities of each event?

Not directly — the rule fundamentally requires the conditional probabilities P(Ak∣A1∩⋯∩Ak−1)P(A_k\mid A_1\cap\cdots\cap A_{k-1}), not the marginal probabilities P(Ak)P(A_k). If you only have marginal probabilities and no independence assumption, you cannot recover the joint probability P(⋂Ai)P(\bigcap A_i) from them alone; additional information about dependence structure (correlations, a model, or conditional probabilities themselves) is required. Substituting marginals for conditionals without justification is the classic error described in this article's warning box.

Before this

Where this leads