设可数集A={an}, 任取ε>0, 则
A⊆∪{n=1到∞}(an-ε/2^{n+1},an+ε/2^{n+1})
故A的外测度