Hyperintegers

The rigorous definition of the hyperintegers uses the greatest integer function [x] introduced in Section 3.4, Example 6. Remember that for a real number x, [x] is the greatest integer n such that n ≤ x. A real number y is itself an integer if and only if y = [x] for some real x. To get the hyperintegers, we apply the function [x] to hyperreal numbers x (see Figure 3.8.2).

Figure 3.8.2