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