=+(2.35)) for sets of integers. A Borel function f has a distribution under A7; if this converges weakly to F, then

(25.18)

p[x: f(x) ≤u] =F(u)

for continuity points u of F, and F is called the distribution function of f.