15.12. Definíció

Pozitivitástartomány

Tegyük fel, hogy (R,+,)(R,+,\cdot ) egy részbenrendezett gyűrű a \leq részbenrendezési relációval, amely tehát teljesíti a 15.11. Definíció szerinti rendezési axiómákat. Ekkor azoknak az a0a\neq 0 elemeknek a halmazát, amelyekre teljesül a 0a0\leq a reláció, a gyűrű pozitivitástartományának nevezzük a \leq rendezésre nézve, és PP_{\leq}-vel jelöljük. A PP_{\leq} halmazban lévő elemekre ilyenkor azt mondjuk, hogy pozitívak a \leq rendezésre nézve.

Ehhez hasonlóan azoknak az a0a\neq 0 elemeknek a halmazát, amelyekre teljesül az a0a\leq 0 reláció, a gyűrű negativitástartományának nevezzük a \leq rendezésre nézve, és P-P_{\leq}-vel jelöljük. A P-P_{\leq} halmazban lévő elemekre ilyenkor azt mondjuk, hogy negatívak a \leq rendezésre nézve.