We worked through the abstract parts of chapter 18: sections 18.1-18.3. In particular, we worked through two example problems from previous exams involving interpreting notation and checking the defining properties of a partition.