Module 0039: Set theory