Bundle the objects that meet one clear standard into a single whole — that whole is a set.
Gather the things that share one clear property — the vowels, the even numbers under ten, the planets — and treat the whole gathering as a single object. That object is a set, and each thing inside it is an element. The one rule that makes a set a set is definiteness: for any object you can name, it is either in or out, with no maybes; and a set never lists a member twice, nor cares what order you name them in. The biggest, most useful sets are the number families you have used for years — the naturals, the integers, the rationals, the reals — and seeing them as sets is the first step toward describing every range of numbers a function will ever eat.
A set is a definite collection of objects, thought of as one whole. We name it with a capital letter — A, B, S — and we picture it as a closed bubble with its members drawn as dots inside. The objects can be anything at all: numbers, letters, points on a line, even other sets.
Three plain examples: the set of vowels in the English alphabet, the set of even numbers from 1 to 12, the set of months with 31 days. In each case the collection is gathered by one shared property, and that property is the whole point — it is what decides who belongs.
A set is decided by its membership rule — the clear property its elements share. Change the rule and you change the set; the bubble and dots are just a picture of that rule at work.
Pick a rule. The candidates that satisfy it are pulled inside the blue bubble; the rest stay outside in slate. Watch what happens to a vague rule.
Each object that belongs to a set is an element of it. We write membership with a special symbol: a ∈ A reads "a is an element of A" (or just "a is in A"), and b ∉ A reads "b is not in A." So if V is the set of vowels, then e ∈ V ✓ while k ∉ V ✗.
For a collection to count as a set it must be well-defined: the rule has to settle every case with a clean yes or no. "Even numbers under 10" is well-defined — 6 is in, 7 is out, no argument. But "small numbers" or "great movies" is not a set: there is no definite cutoff, so for many objects there is no honest in-or-out answer.
The membership rule must leave no maybes. If a reasonable person could not decide whether some object belongs, the collection is not a set — it is just a vague description. "Tall students" and "big numbers" fail this test.
A set is like a roll call: you never read a name twice, and the order you read them in does not matter. Two consequences follow, and they catch people out:
First, repeats collapse. Writing the same element twice adds nothing, so {1, 2, 2, 3} = {1, 2, 3} — the second "2" is invisible. Second, order is irrelevant, so {3, 1, 2} = {1, 2, 3}. A set carries only the bare fact of which objects are in it — nothing about how many times or in what sequence.
The number of distinct elements is the cardinality of the set, written |A|. For A = {1, 2, 2, 3} the distinct members are 1, 2, 3, so |A| = 3, not 4.
Two sets are the same exactly when they have the same members — nothing else counts. Not the order, not the repeats, not the way you happened to write them down.
Four sets of numbers turn up so often that they get permanent names and their own blackboard-bold letters:
| Symbol | Name | What's inside | A sample |
|---|---|---|---|
| ℕ | naturals | 0, 1, 2, 3, … | 0, 7 |
| ℤ | integers | …, −2, −1, 0, 1, 2, … | −3, 0, 7 |
| ℚ | rationals | every fraction p/q | ½, −2.5, 7 |
| ℝ | reals | every point on the line | √2, π, ½, 7 |
Each family sits inside the next: ℕ ⊆ ℤ ⊆ ℚ ⊆ ℝ. (That nesting symbol ⊆ — "is a subset of" — is exactly what the next lesson is about; here just read it as "every member of the smaller family is also in the bigger one.") Where a number lives tells you a lot about it: −3 is in ℤ but not ℕ; ½ is in ℚ but not ℤ; and √2 is in ℝ but not ℚ — it is irrational, a point on the line that no fraction can name. The reals were built up carefully in Stage 6 — see irrational and real numbers.
Pick a number. Every family it belongs to lights up green; the number itself drops as an amber dot in the innermost ring it qualifies for.
A set is a definite collection of objects, taken as one whole. Each object is an element: a ∈ A ("in") or a ∉ A ("not in"). To be a set the membership rule must be well-defined — every object is clearly in or out, with no maybes. A set has no repeats and no order, so {1,2,2,3} = {3,1,2} = {1,2,3}; the count of distinct elements is the cardinality |A|. The four famous number families nest as ℕ ⊆ ℤ ⊆ ℚ ⊆ ℝ — naturals, integers, rationals, reals — and they will be the source of nearly every set you meet from here on.
List, in roster form, the set of even numbers strictly between 1 and 11.
The evens between 1 and 11 are 2, 4, 6, 8, 10, so the set is {2, 4, 6, 8, 10}. (11 is odd and not included; the cardinality is 5.)
Is "the set of tall students in the school" a well-defined set? Explain.
No. "Tall" has no definite cutoff, so for a borderline student there is no honest in-or-out answer. With no clear membership rule, the collection is not a set.
Simplify the set A = {2, 3, 3, 5, 5, 5} and state |A|.
Repeats collapse, so A = {2, 3, 5}. The distinct elements are 2, 3, 5, giving |A| = 3 — not 6.
True or false: −4 ∈ ℕ.
False. The naturals are 0, 1, 2, 3, … — no negatives. So −4 ∉ ℕ; but −4 ∈ ℤ (it is an integer).
Name a number that is in ℝ but not in ℚ.
Any irrational number works — for example √2 or π. Each is a genuine point on the number line (so in ℝ) yet no fraction p/q equals it (so not in ℚ).
Is {1, 2, 3} the same set as {3, 2, 1}?
Yes. Order never matters in a set; both contain exactly the members 1, 2, 3, so {1, 2, 3} = {3, 2, 1}.
Six questions to lock it in. Tap the answer you think is right.
The big idea of this opening lesson is deceptively small: a set is a definite collection decided by one clear rule. Everything later in the strand — describing sets, comparing them, combining them, and finally writing intervals for a function's domain — rests on this single notion of well-defined membership. Spend time on the idea before the symbols.
The specific misconceptions to watch for are three. (1) Students think a vague description like "big numbers" or "fun games" defines a set — press them: is 1000 a big number? is 999? The absence of a sharp cutoff is exactly why it is not a set. (2) They think repeats or reordering change a set — show them that {1,2,2,3}, {3,2,1}, and {1,2,3} are one and the same. (3) They think ℕ contains negatives — it does not; −3 lives in ℤ, not ℕ.
The symbols carry most of the difficulty. Insist that students read them aloud: "∈" is "is an element of," "∉" is "is not an element of," and ℕ ℤ ℚ ℝ are the naturals, integers, rationals, and reals. This lesson aligns with CCSS 6.NS.C and 8.NS.A.1 (rational versus irrational numbers; the real number system), and introduces the high-school convention for set notation that the rest of Stage 19 builds on.