[078] (Proposed on 2022-10-13) Let \(B\) be a non-empty set that is bounded from below, let \(L\) the set of minorants of \(B\); we note that \(L\) is upper bounded, and suppose that \(πΌ=\sup L\) exists: then \(πΌβ L\) and \(πΌ=\inf B\).
[079]βΊβ»