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 denominatorMultiplicative Identity0) of 2 reals equals a real number
a * 1 = aMultiplicative Inverse
a * (1/a) = 1 (a(Multiplication times 0)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