μ_a,b(A) = 1/a if 有限個の自然数nを除いて an+b ∈ A
μ_a,b(A) = 0 otherwise

μ(A) = Σ[a∈N]Σ[b=0,1,…,a-1] μ_a,b(A)
みたいな感じの構成しか思いつかないけど、これは間違ってるしなあ。
1/aだったときは集合から周期aの部分を取り去らないといけないからめんどくさい。

μ(A) = sup[a∈N]Σ[b=0,1,…,a-1] μ_a,b(A)
とかもそれっぽい気がするが、難しいな…