Conceptual

Conditional Probability

P(A | B) = P(A and B) / P(B) restricts the sample space to outcomes where B occurred and renormalizes; it is the primitive from which independence and Bayes' theorem are defined.