Law of Total Expectation

Also known as the law of iterated expectations:

\[\mathbb{E}\left[\mathbb{E}[X\lvert Y]\right]=\mathbb{E}[X]\]

The event-partition version (the total expectation theorem) appears in Conditional Distributions.

Draft

This page is a partial draft — the full treatment is planned but not yet written.