I.P43 — Measure Compatibility

The projective family of counting measures is compatible: for any tower-measurable set, the measure at stage k+1 (projected down) equals the measure at stage k. μ_{k+1}(π⁻¹(S_k)) = μ_k(S_k).