first half of chapter 1 exercises for set theory, new ireland & rosen document