 The last two axioms introduce special properties of \(\gt\) and \(\ge\). In the second of these the notions bounded above, bounded below, and bounded are defined as in classical mathematics, and the least upper bound, if it exists, of a  nonempty[44]  set \(S\) of real numbers is the unique real number \(b\) such that