Chapter 3 Set theory