Why nothing can be complemented until the surrounding set is fixed

What to assume they know

• Containment, proper containment, and why the empty set is inside everything — containment, and the empty set inside every set
• Why "well-defined" is the whole difference between a set and a heap — the membership test that makes a collection a set
• The standing symbols N, Z, Q, R
• That prime numbers are endless in supply
• Basic triangle vocabulary: right-angled, isosceles, equilateral

What they should be able to do

• State what role the universal set plays and why it is chosen rather than derived
• Given several sets, decide whether a proposed set is adequate as a universe for all of them, and justify the verdict by naming a member that escapes
• Propose a reasonable universe for a described family of objects, and say why more than one proposal can be right
• Show that one set can have different outside-sets under different universes
• Recognise the standing assumption the chapter adopts before defining operations
• Explain, at the level of the chapter's closing note, why mathematics does not fix one universe for all purposes

Where it usually goes wrong

• "The universal set is the set of everything." It is the set relevant to the problem in hand. The chapter's own examples make it the primes in one place and one school class in another.
• "There is a biggest set that always works." The closing note says otherwise: assuming a set holding all sets was shown to be contradictory in 1902. The universe is local by necessity, not by convenience.
• "The universe is whatever the sets happen to be made of." It has to be stated. Exercise 1.3 Q8 offers four candidates for the same three sets, and only one is adequate — the sets themselves do not choose.
• "Any large set will do as a universe." {1, 2, 3, 4, 5, 6, 7, 8} has more members than any of the three sets it is offered for and still fails, because 0 escapes it. Size is not the property being asked for: two of the three sets sit inside this candidate and the third does not, and containing all three is the only thing that counts.
• "The empty set is a safe default." It contains nothing, so it cannot contain the sets under discussion.
• "A set has one complement." It has one complement per universe. The girls of a class have the boys as complement only because the universe was the class.
• "The universe must be the smallest adequate set." Nothing requires that. The triangles question has several correct answers, and the chapter accepts more than one for the integers.

Questions to check understanding

• Given several sets, choose which of a list of candidates can serve as a universal set for all of them, and justify each rejection
• Propose a universal set for a described family of objects
• Find the complement of a given set under a stated universe, and then under a different one, and comment on the difference
• Explain in one or two lines why the universal set has to be stated rather than deduced

Examples worth working on the board

Values marked verified are an added derivation from the chapter's own data; the chapter prints no answers to its exercises.

• The chapter's own illustration (§1.7, p. 12). Studying the number systems, one works with the naturals and with families sitting inside them — the primes, the evens, and so on. The basic set those all live in is what gets called the universe here.
• One set, two universes (§1.7, p. 12). For the integers, the chapter offers either the rationals or the reals as a workable universe. Both are adequate, and they give different outside-sets: relative to the rationals, what lies outside the integers is every non-integer fraction; relative to the reals it is that together with every irrational number. Use this as section 4 — it is the cleanest demonstration in the chapter that the universe is an input.
• A universe outside mathematics (§1.7, p. 12): in studies of human population, everyone alive.
• Exercise 1.3 Q7 (p. 13) — propose a universe for the right triangles, and one for the isosceles triangles. Verified: the triangles in a plane serve for both; so does the set of all plane figures, or all polygons. The question has no single answer.
• Exercise 1.3 Q8 (p. 13) — three sets are given, A = {1, 3, 5}, B = {2, 4, 6} and C = {0, 2, 4, 6, 8}, with four candidate universes: {0, 1, 2, 3, 4, 5, 6}; the empty set; {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10}; and {1, 2, 3, 4, 5, 6, 7, 8}. Verified: only the third works. The first fails because 8 belongs to C and is missing from it; the second fails because the empty set contains nothing at all; the fourth fails because 0 belongs to C and is missing from it. Each refusal is settled by exhibiting one escaping member, which is the method of section 6.
• The complement depends on the universe (§1.10, pp. 18–19). Two of the chapter's own complement examples make the point without saying so. With the universe taken as all the prime numbers and A the primes that do not divide 42, what lies outside A is {2, 3, 7}. Verified: 42 = 2 × 3 × 7, so those three are exactly its prime divisors — note that A is endless while the set outside it has three members, which only makes sense once you see that the universe was chosen to be the primes. Then with the universe taken as one coeducational Class XI and A the girls in it, what lies outside A is the boys. Change the universe to the whole school and the same A has a different outside.
• The standing assumption (§1.9, p. 14). Before defining any operation the chapter states that from that point on every set under discussion is taken to be a subset of some universal set. Everything in module 3 runs under this assumption, and section 9 should flag it explicitly.
• Fig 1.10 (p. 19) — a rectangle standing for the universe with a circle inside it standing for A; the region between them is tinted and the label for the outside-set sits in the top corner of the rectangle. Read off the printed page: the tint fills the whole rectangle except the circle. Use it in section 3.
• The closing note (Historical Note, p. 23). The note records that set theory was originally built on the assumption that a set of all sets exists, that in 1902 Bertrand Russell showed this leads to a contradiction, and that a sequence of axiom systems followed — Zermelo in 1908, Fraenkel in 1922, von Neumann in 1925, Bernays in 1937 and Gödel in 1940. Section 10 needs only the first two facts, but the dates are there if the explanation wants the arc.

Figures to have open

• A redraw of Fig 1.10 (p. 19): rectangle for the universe, circle for A, the region between them tinted. This is the chapter's own figure; redraw as a clean schematic rather than reproducing the printed art.
• A paired diagram for section 4: the same inner circle of integers drawn twice, once inside a rational-number rectangle and once inside a real-number rectangle, with the leftover regions labelled differently. Standard schematic; the chapter makes this point in a single sentence and draws nothing.
• A rejection board for section 7: four candidate rectangles, three carrying a single escaping element outside them. Standard schematic.

Where this sits in the book

• NCERT Class 11 Mathematics, Chapter 1 "Sets", §1.7 Universal Set, p. 12
• Exercise 1.3, questions 7 and 8, p. 13
• The standing assumption stated at the head of §1.9, p. 14
• §1.10 Complement of a Set, pp. 18–19, including Definition 7, worked Examples 20 and 21, and Fig 1.10 — used here only for the dependence on the universe; the operation itself belongs to Difference and complement: the same idea with and without a universal set
• The chapter's Historical Note, p. 23, for the 1902 contradiction and the axiomatisations that followed