Chapter 7: Rel properties of relations