Khác biệt giữa bản sửa đổi của “Cận trên đúng”

== Tính chất cận-trên-nhỏ-nhất ==

 

 

Nếu một tập được sắp ''S'' có tính chất là mọi tập con không rỗng của nó có một cận trên thì cũng có cận trên đúng thì ''S'' được gọi là có tính chất cận-trên-nhỏ-nhất. Như đã trình bày ở trên, tập '''R''' các số thực có tính chất cận-trên-nhỏ-nhất. Tương tự, tập '''Z''' các số nguyên cũng có tính chất cận-trên-nhỏ-nhất, nếu ''S'' là tập con không rỗng của '''Z''' và có một số ''n'' sao cho mọi phần tử ''s'' của ''S'' nhỏ hơn hay bằng ''n'',khi đó có một cận trên nhỏ nhất ''u'' của ''S'', đó là một cận trên của ''S'' và nhỏ hơn hay bằng mọi cận trên khác của ''S''. Một [[tập được sắp tốt]] cũng có tính chất cận-trên-nhỏ-nhất.