User:Abcxyz/Sandbox/Real Numbers


 * Definition:Real Number
 * Definition:Real Addition
 * Real Addition is Closed
 * Real Addition is Associative
 * Identity for Real Addition
 * Inverses for Real Addition
 * Real Addition is Commutative
 * Definition:Real Multiplication
 * Real Multiplication is Closed
 * Real Multiplication is Associative
 * Definition:Ordering on Real Numbers
 * Ordering on Real Numbers is Total Ordering
 * Ordering on Real Numbers is Compatible with Addition