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$.
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