Def pg. 243

A sequence of function (𝑓𝑛) on 𝐴 to converges uniformly on 𝐴0𝐴 to a function 𝑓:𝐴0 if for all 𝑥𝐴0
(𝜀>0)(𝐾(𝜀))(𝑛𝐾(𝜀))|𝑓𝑛(𝑥)𝑓(𝑥)|<𝜀

Claim 18.2

lim𝑛𝑑(𝑓𝑛,𝑓)=0