IV.P135 — Existence and uniqueness of limit

The projective limit delta[omega] exists and is unique: tower compatibility guarantees the system (delta_n)_{n>=1} is a compatible family of finitely additive measures on the directed system of clopen partitions, satisfying the universal property of the projective limit.