EDB — 209

[209] Similarly, given $A\subseteq ℝ$ 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=-\infty$.