Lecture 17 - Equivalence Relations and Partial Orders