A rigorous, theoretical approach to compound event probabilities for 12th-grade students. This sequence covers set notation, formal definitions of independence, the general addition and multiplication rules, and the distinction between mutually exclusive and independent events.