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
.