Add material on Equivalence Relations and Partitions

[oscarlevin]

This would be good for my students, and was requested by another instructor. Could be woven in, or as part of a "discrete structures" section in chapter 0 or 5.