Let be any enumeration of the rational numbers. Define the function . Then has the following properties:

- is strictly increasing, and thus has a derivative almost everywhere.
- for
- for
- If we define , then we have for

and