2.9

Principio do Supremo Todo conxunto non baleiro de números reais limitado superiormente ten supremo.

Definición.- Unha sucesión contractiva de intervalos pechados é unha familia { In, nÎN} de intervalos pechados tal que In É In+1.

  
Postulado dos Intervalos Encaixados Toda sucesión contractiva de intervalos pechados ten intersección non baleira.

Lema.- Sexa In unha sucesión de intervalos encaixados en R. Se as lonxitudes l (In) dos intervalos converxen a cero, a súa intersección contén, ao sumo, un punto.