[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 infA. If A is bounded below then infA is a real number; otherwise, by convention, we set infA=ββ.