I.D95 — τ-Measure Space

Constructive measure space on the primorial tower. At each stage k, Z/M_k Z carries the normalized counting measure μ_k(S) = |S|/M_k. The τ-measure space is the projective family of stages with compatible counting measures.