1. reflexive: a=a
2. symmetric: a=b, b=a
3. transitive: a=b, b=c, then a=c
4. addition: a=b, then a+c=b+c
5. subtraction: a=b, then a-c=b-c
6. multiplication: a=b then a*c=b*c
7. division: a=b, then a/c=b/c
8. substitution: a=b, then b can be substituted for a