Chapter 5 Relations and Functions

Everything is a set. This is not necessarily a useful way of working though in practice

Sections

 * 5.1 relations
 * poset
 * 5.4 functions