reflexive property
a = a
symmetric property
a = b --> b = a
transitive property
a = b, b = c --> a = c
substitution
a = b
addition property of equality
a = b => a + c = b + c
subtraction property of equality
a - c = b - c
multiplication property of equality
a x c = b x c
division property of equality
a/c = b/c