Pi-lambda theorem
= Pi-lambda theorem
{title2=$\pi$-$\lambda$ theorem}
If a <Dynkin system> contains a <pi-system>, then it contains the sigma-algebra generated by that pi-system. This proves uniqueness of finite measures from agreement on a generating pi-system.