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.