Read: Section 7.3.
Turn in: 7.61, 7.63, 7.67, 7.75
- Please read 7.59 carefully even though you are not proving it. In fact, you already did the proof: it was Theorem 7.43. Please also carefully read 7.73 and the sentence after it.
- On 7.61, remember that $A/{\sim}$ is just alternative notation for $\operatorname{Rel}(\sim) = \{\operatorname{rel}(a)\mid a\in A \}$, so the starting point is to write out $\operatorname{Rel}(\sim)$ (like we did in 7.36 and 7.37).
Extra practice: 7.68, 7.70, 7,71