Wir betrachten die ganzen Zahlen mit der Ordnung ≼ {\displaystyle {}\preccurlyeq } , bei der
gilt und die auf den Teilmengen Z − {\displaystyle {}\mathbb {Z} _{-}} und Z + {\displaystyle {}\mathbb {Z} _{+}} mit der Ordnung ≤ {\displaystyle {}\leq } übereinstimmt.
gilt.