| A | B |
| Addition Property of Equality | If a=b and c=d then a + c = b + d |
| Subtraction Property of Equality | If a=b and c=d then a - c = b - d |
| Multiplication Property of Equality | If a=b then ca = cb |
| Division Property of Equality | If a=b and c ≠ 0 then a/c = b/c |
| Substitution Property of Equality | If a=b then either a or b may be substituted for the other in any equation or inequality. |
| Reflexive Property of Equality | a = a |
| Symmetric Property of Equality | If a=b then b=a |
| Transitive Property of Equality | If a=b and b=c then a=c |
| Reflexive Property of Congruence | seg.DE ≅ seg.DE; angle.D ≅ angle.D |
| Symmetric Property of Congruence | If seg.DE ≅seg.FG then seg.FG ≅ seg.DE; If angle.D ≅ angle.E then angle.E ≅ angle.D |
| Transitive Property of Congruence | If seg.DE ≅ seg.FG and seg.FG ≅ seg.JK then seg.DE ≅ seg.JK; if ang.D ≅ ang.E and ang.E ≅ ang.F then ang.D ≅ ang.F |
| Distributive Property of * over + | ab + ac = a(b + c) |