3.2.2 Rendezettségi axiómák

-en értelmezhető egy bináris reláció (>), mely egy rendezési reláció. (Az reláció jelentése, hogy a pozitív, hasonlóan jelentése, hogy a negatív, és jelentése, hogy .)

A definiált reláció rendelkezik a következő tulajdonságokkal:

esetén az állítások közül pontosan egy teljesül.

esetén, ha .

esetén, ha .

esetén, ha .