The SlugMath Wiki is under heavy development!

# State/Squares are nonnegative in an ordered field

Proposition: (Squares are nonnegative in an ordered field) Suppose that $R$ is an ordered field, such as $\RR$. Suppose that $x \in R$. Then $x^2 \geq 0$.

## Logical Connections

This statement logically relies on the following definitions and statements: Def/Ordered field, Def/Total order

The following statements and definitions rely on the material of this page: Def/Complex number

To visualize the logical connections between this statements and other items of mathematical knowledge, you can visit the following cluster(s), and click the "Visualize" tab: Clust/Ordered ring theory