[0T7] Sia A⊂ℝn limitato. Per ogni ε>0 esiste un insieme I⊂A soddisfacente:
I è finito,
∀x,y∈I, x≠y si ha x∉B(y,ε) (cioè d(x,y)≥ε),
[0T8]↺↻