Definition
22
[209] Similarly, given \(Aββ\) not empty, the greatest lower boundary, or infimum, of \(A\) is the maximum of minorants; we will indicate it with the usual writing \(\inf A\). If \(A\) is bounded below then \(\inf A\) is a real number; otherwise, by convention, we set \(\inf A=-β\).