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 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.
- The Multiplication Rule writes , and generalizes to events by chaining conditional probabilities.
- It is not a new axiom — it follows immediately from the definition .
- The -event version requires every partial intersection (for ) 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 is computed by chaining transition probabilities exactly via this rule; the Markov property then simplifies each conditional factor down to , 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?
Let be a probability space.
Two-event case. For events with ,
General -event case. Let be events such that
(This single condition automatically forces for every , since these intersections are nested and probability is monotone.) Then
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 as a path through a decision tree. At the root, the first branch splits according to whether occurs. Along the branch where occurs, a second split occurs according to whether occurs — but now the relevant probability is the conditional probability , because we are already standing inside the branch where happened. The probability of reaching the leaf corresponding to "all of 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.
The Central Theorem
Let be a probability space and let , , satisfy
Then
and every factor on the right is well defined.
Proof technique: finite induction on , using telescoping cancellation of the ratio definition of conditional probability. Step 0 (monotonicity gives well-definedness of every factor). Since is not generally true in that direction, we instead use the correct nesting: for ,
because the left side requires more events to hold simultaneously than the right side (the right side is an intersection of only the first of the same events). By monotonicity of probability measures (if then , a basic consequence of countable additivity applied to , a disjoint union), we get
for every . Hence every conditioning event appearing in the statement has strictly positive probability, so each conditional probability is well defined by the ratio definition
Step 1 (base case ). We must show , under the hypothesis (this is the instance of the hypothesis ). This is immediate from the definition of conditional probability:
where the cancellation is valid because , so the fraction is well defined and the multiplication by exactly cancels the denominator. This establishes the base case. Step 2 (inductive step). Suppose the claim holds for some : that is, whenever ,
Now consider events satisfying . By Step 0 (applied with ), we already know , so the inductive hypothesis (IH) applies to the first events and gives
Next, apply the base case (Step 1) to the two events and , which is legitimate because by hypothesis:
that is,
Substituting into the right side of in place of gives
which is exactly the claim for . Step 3 (conclusion). By the principle of mathematical induction, the identity holds for all integers , and by Step 0 every factor in the product is well defined whenever the hypothesis holds. Note the proof used only the ratio definition of conditional probability and monotonicity of (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.
∎If are mutually independent events (in the sense that for every for which the conditioning event has positive probability), then the Multiplication Rule reduces to
This is an immediate substitution into the theorem: each conditional factor equals the unconditional 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 = "first card is a heart," = "second card is a spade," = "third card is a heart." We want . By the Multiplication Rule,
- , since 13 of 52 cards are hearts.
- : 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 .
- : 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 .
Therefore,
Compute step by step:
Simplify: , giving and . So
Note the asymmetry deliberately built in: the three events are of different suits ( hearts, 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, . Let denote the event "the component passes station ." Historical data give:
- (10% of components fail the first, coarsest inspection).
- (given it passed station 1, it passes the finer station 2 with probability 0.95).
- (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, . By the theorem,
Compute: , and . So : 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 estimated from the full population — say the marginal pass rate of station 3 in isolation happens to be rather than — multiplying would silently give the wrong answer, because (marginal) and (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.
The theorem requires . Suppose we drop this and allow . Let with uniform, so each outcome has probability . Let
Then , and . The right-hand side of the two-event Multiplication Rule, , requires computing , which is undefined — not merely zero, but a genuine indeterminate form with no canonical value. There is no way to assign a value to that makes the identity 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 by convention whenever , and indeed then would numerically match — but this is a fragile coincidence of this particular example, not a general fact. Consider instead and any with : the same convention gives , which "works," but only because automatically for any whenever — the equation becomes vacuous () rather than informative, so the convention conveys no real conditional information and cannot be used, for instance, to recover from data or to chain further conditioning correctly in longer sequences. This is precisely why the hypothesis 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
| Situation | What happens |
|---|---|
| Rule applies exactly as stated; every conditional factor well defined. | |
| Some intersection for | A later conditional probability is : undefined. Rule cannot be applied at that step. |
| Events mutually independent | Rule reduces to plain product (Independence of Events). |
| Order of conditioning events relabeled | The product's value is unchanged (it always equals ), but the individual factors change — conditioning on then gives different intermediate numbers than conditioning on then , even though the final product agrees. |
| Sampling without replacement | Canonical use case: each draw changes the composition of what remains, so successive conditional probabilities differ from the unconditional ones. |
| Sampling with replacement, independent trials | Conditional 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
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 -algebra of events.
Is the Multiplication Rule a new axiom of probability?
No. It is a direct algebraic consequence of the definition of conditional probability, for . Multiplying both sides by and using that lets you cancel the denominator, immediately giving . The -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: . 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 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 — is generally a different number from , even though both orderings multiply out to the same final answer . 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 . Extending it to a countably infinite sequence requires additional care: one considers for each finite and then takes a limit as , using continuity of probability measures along decreasing sequences of events (a consequence of countable additivity). The resulting infinite product converges to , 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 , then all subsequent conditional probabilities in the chain are of the form 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 , if the latter has probability zero, so does the former, and you can directly conclude 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 , not the marginal probabilities . If you only have marginal probabilities and no independence assumption, you cannot recover the joint probability 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.