[078] (Proposto il 2022-10-13) Sia \(B\) un insieme non vuoto che è limitato dal basso, sia \(L\) l’insieme dei minoranti di \(B\); notiamo che \(L\) è superiormente limitato, e supponiamo che esista \(𝛼=\sup L\): allora \(𝛼∈ L\) e \(𝛼=\inf B\).
[079]↺↻
