TheoremBase

Positive, Nonnegative, Negative and Nonpositive Elements of an Ordered Ring

An element x of an ordered ring is positive if 0 < x, nonnegative if 0 ≤ x, negative if x < 0, and nonpositive if x ≤ 0.

Statement

In the setting of Sets and Maps: Ordinary Notation, let RR, with ++, ⋅\cdot, 00, 11 and a total order ≤\le with strict relation <<, be an ordered ring, and let x∈Rx\in R.

xx is positive if 0<x0<x, nonnegative if 0≤x0\le x, negative if x<0x<0, and nonpositive if x≤0x\le0.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…