Tegyük fel, hogy (R,+,\cdot ) egy tetszőleges gyűrű, amelynek R alaphalmazán értelmezve van egy részbenrendezési reláció. Jelöljük ezt a relációt a \leq szimbólummal, és tegyük fel, hogy a \leq reláció kompatibilis a gyűrű + műveletével. Ekkor tetszőleges a, b és c elemekre igazak az alábbiak:
- Ha 0\leq a, akkor 0\geq (-a).
- Ha ac\leq bc, akkor a(-c)\geq b(-c).
- Ha ca\leq cb, akkor (-c)a\geq (-c)b.
Itt 0 jelöli a gyűrű nullelemét, -x pedig az x elem ellentettjét. Megjegyezzük még, hogy kommutatív gyűrű esetén természetesen a 2. és 3. tulajdonság egymással ekvivalens.