This page is the toolbox. The parent note (Independent Events) throws around symbols like P(A), A∩B, P(A∣B), and ∏. Before you touch that note, you should be able to see every one of them. We build each from nothing, in the order they depend on each other.
Everything starts with a random experiment: flip a coin, roll a die, draw a marble.
Picture the sample space as a box holding every possible outcome. An event is a region drawn inside that box — a fence around the outcomes that count as "yes".
Why the topic needs this: you cannot say "A and B both happen" until A and B are regions in the same box. The whole multiplication rule is about how two such regions overlap.
Why the topic needs this: the multiplication rule multiplies these fractions. If you don't feel P(A) as "how much of the box", the product P(A)P(B) is just meaningless symbols.
Now put two fenced regions, A and B, in the same box. They can overlap.
Why the topic needs this: the entire rule is about P(A∩B) — the probability of the overlap. "P(both heads)" isP(H1∩H2). Get the overlap picture wrong and every example collapses.
This is the single most important symbol to internalise, because the whole rule is derived from it.
Look at the figure: the accent-red slice is A∩B. Before conditioning we compared it to the whole box; after conditioning we compare it only to B (the shaded region). Same slice, bigger fraction, because the denominator shrank.
Why the topic needs this:independence is defined by this symbol. Two events are independent exactly when learning Bdoesn't shrink-and-reshape things — i.e. P(A∣B)=P(A). The parent note rearranges the boxed formula above to build the multiplication rule, so you must own it.
Why the topic needs this: the "at least one" trick. "At least one thing happens" is hard to count directly, but its complement — "none happen" — is one clean product. So the topic writes
P(at least one)=1−P(none).
Why the topic needs this: for many independent events the parent writes P(A1∩⋯∩An)=∏iP(Ai) and P(at least one)=1−∏i(1−P(Ai)). Without ∏ these would be endless "⋯" chains.