Un grup (G, +) és dit ordenat per la relació d’ordre ≤, si es compleix la propietat d’isotonia (o compatibilitat) de l’operació + respecte a l’ordre ≤, és a dir, si per tot x, y, z, de G, x ≤y implica x + z ≤y + z i z + x ≤z + y. Un anell o un espai vectorial són dits ordenats si aquesta llei d’isotonia és vàlida per a totes les operacions que hi són definides.
adj
Matemàtiques