| A | B |
| If a=b, then a+c = b+c | addition property of equality |
| If a=b, then a-c = b-c | subtraction property of equality |
| If a=b, then a times c = b times c | multiplication property of equality |
| If a=b and c is not = to 0, then a/c = b/c | division property of equality |
| a=a | reflexive property of equality |
| If a=b, then b=a | symmetric property of equality |
| If a=b and b=c, then a=c | transitive property of equality |
| If a=b, then a may be replaced by b in any equation or expression | substitution property of equality |
| a(b+c) = ab + ac | distributive property |