Sum (or difference) of 2 reals equals a real numberAdditive Identity
a + 0 = aAdditive Inverse
a + (-a) = 0Associative of Addition
(a + b) + c = a + (b + c)Commutative of Addition
a + b = b + aDefinition of Subtraction
a - b = a + (-b)
Closure Axiom of Multiplication
Product (or quotient if denominator 0) of 2 reals equals a real numberMultiplicative Identity
a * 1 = aMultiplicative Inverse
a * (1/a) = 1 (a 0)(Multiplication times 0)
a * 0 = 0Associative of Multiplication
(a * b) * c = a * (b * c)Commutative of Multiplication
a * b = b * aDistributive Law
a(b + c) = ab + acDefinition of Division
a / b = a(1/b)
Thanks, http://www.pleacher.com