In abstract algebra, a partially ordered ring is a ring, together with a compatible partial order, that is, a partial order ≤ {\displaystyle \,\leq \,} on the underlying set A that is compatible with the ring operations in the sense that it satisfies: and for all x, y, z ∈ A {\displaystyle x,y,z\in A}. Wikipedia