susitraukiančiųjų intervalų lema

susitráukiančiųjų intervãlų lemà, viena realiųjų skaičių aibės pilnumo aksiomų. Vienas kitame esančių intervalų [a₁, b₁] ⊃ [a₂, b₂] ⊃ … ⊃ [a_n, b_n] ⊃ …, kurių ilgiai didėjant n artėja prie nulio, begalinė seka turi bendrą tašką c. Šis taškas yra intervalų abiejų galų riba: $\underset{n\to \mathrm{\infty }}{\lim }$a_n = $\underset{n\to \mathrm{\infty }}{\lim }$b_n = c.

Suformulavo 1872 G. F. L. Ph. Cantoras.