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.
New to topics? Read the docs here!
New to topics? Read the docs here!