Week 08: Composition of relations, inverse relation

Page 584