A descending sequence Enn∈N{E_n}_{n\in\mathbb N}Enn∈N of nonempty subsets of a metric space XXX is contracting if the limit of the diameters goes to zero. That is, limn→∞diam(En)=0.\lim_{n\to \infty} \text{diam}(E_n) = 0.n→∞limdiam(En)=0.
Wikidata ID: Q1131116