I.D96 — Tower σ-Algebra

Tower-measurable sets: compatible families of predicates S_k on Z/M_k Z such that preimage under reduction preserves membership. At finite stage, every subset is measurable (full power set σ-algebra).