You open a question. The set in front of you is written \{x \mid x^2 < 20, x \in \mathbb{Z}\}, or maybe \{x : x \text{ is a vowel in the word MATHEMATICS}\}. Your first instinct is to work with the set as written — to plug it into the next step of the problem. Stop. That is where most students lose time and accuracy.
The reliable move is a three-beat recognition drill: notice the notation, translate it into one plain English sentence, and then write out the explicit elements. Every set-builder expression you will ever meet in school yields to this drill. Until you have the roster form in front of you, you are reasoning with a description instead of a thing.
The recognition cue
The syntax is unmistakable. Curly braces, a variable on the left, a vertical bar or a colon, and a rule on the right:
Sometimes the variable appears with a type-restriction inside the braces, like \{x \in \mathbb{Z} \mid P(x)\} — that just means "only integer values of x are in the running." The vertical bar and the colon are the same symbol with two dialects; read both as "such that."
When you see this shape, do not keep it as a symbol. Translate.
The three-beat drill
Beat 1. Name the typical element. Everything left of the bar. Usually a single letter — x, y, n. This is the "variable under consideration." Sometimes it is restricted to a set, like x \in \mathbb{Z} or x \in \mathbb{R}, which narrows the candidate pool up front.
Beat 2. Read the rule as an English sentence. Everything right of the bar. If the rule is x^2 < 20, read it as "x squared is less than 20." If it is "x is a prime between 10 and 20," read it in English first, then in symbols.
Beat 3. Find all the candidates that satisfy the rule. This is the only step that uses any arithmetic. Check candidates one by one, keep the ones that pass, drop the ones that fail. Write the survivors inside fresh curly braces.
That is the whole drill. Three beats, and the set-builder form becomes a concrete list you can work with.
Walked examples
Example A. \{x \in \mathbb{Z} \mid x^2 < 20\}.
- Beat 1: x ranges over the integers.
- Beat 2: the rule is "x squared is less than 20."
- Beat 3: which integers satisfy it? Try 0: 0 < 20, yes. \pm 1: 1 < 20, yes. \pm 2: 4 < 20, yes. \pm 3: 9 < 20, yes. \pm 4: 16 < 20, yes. \pm 5: 25 < 20, no. Stop.
Roster form: \{-4, -3, -2, -1, 0, 1, 2, 3, 4\}.
Why: the rule x^2 < 20 defines a window on the real line (-\sqrt{20} < x < \sqrt{20}, or roughly -4.47 < x < 4.47), and the integer restriction selects exactly the integers inside that window. The translation makes both boundaries visible — without it, students sometimes include \pm 5 or miss 0.
Example B. \{x \mid x \text{ is a letter in the word MATHEMATICS}\}.
- Beat 1: x ranges over letters.
- Beat 2: the rule is "x appears in MATHEMATICS."
- Beat 3: list the distinct letters. MATHEMATICS has the letters M, A, T, H, E, M, A, T, I, C, S. Drop repeats: M, A, T, H, E, I, C, S.
Roster form: \{\text{M, A, T, H, E, I, C, S}\}. Eight elements.
The subtle point: sets do not count repeats. "MATHEMATICS" has 11 letters; the set of its letters has 8. Forgetting to drop repeats is one of the commonest slips on this kind of question.
Example C. \{x \in \mathbb{N} \mid x \text{ is a factor of } 12\}.
- Beat 1: x ranges over the natural numbers.
- Beat 2: the rule is "x divides 12."
- Beat 3: the positive divisors of 12 are 1, 2, 3, 4, 6, 12.
Roster form: \{1, 2, 3, 4, 6, 12\}. Six elements.
The interactive drill
The visual makes the translation permanent: the set-builder rule is a filter, the shaded band is what survives the filter, and the elements of the set are the integer tick marks that fall inside.
Harder rules — the pattern still works
Set-builder rules can be compound. \{x \in \mathbb{N} \mid x < 30 \text{ and } x \text{ is a multiple of } 6\} combines two conditions. Work them one at a time: the natural numbers less than 30 that are multiples of 6 are 6, 12, 18, 24. Roster form: \{6, 12, 18, 24\}.
Rules can also be implicit — a closed-form description that needs a bit of algebra to unpack. \{n^2 \mid n \in \mathbb{N}, n \leq 5\} is the set of values of n^2 as n runs through 1 to 5. So n = 1 gives 1, n = 2 gives 4, n = 3 gives 9, n = 4 gives 16, n = 5 gives 25. Roster form: \{1, 4, 9, 16, 25\}. The expression on the left of the bar is what gets collected; the expression on the right just describes the range of inputs.
The harder the rule looks, the more important the drill is. Read left of the bar first — what variable or expression am I collecting? Read right of the bar — which inputs am I sweeping over? Then compute the outputs one by one.
Translate $\{x \in \mathbb{Z} \mid x \text{ is odd and } -7 < x \leq 7\}$ to roster form.
- Beat 1: x ranges over the integers.
- Beat 2: the rule is a conjunction — "x is odd and -7 < x \leq 7."
- Beat 3: sweep the integers in the window -7 < x \leq 7 (so x can be -6, -5, \dots, 6, 7), and keep only the odd ones.
The odd integers in that window are -5, -3, -1, 1, 3, 5, 7. Note that -7 is excluded by the strict left inequality, while 7 is included by the non-strict right inequality. Missing these boundary decisions is where most errors creep in.
Roster form: \{-5, -3, -1, 1, 3, 5, 7\}. Seven elements.
The misconception to dodge
Many students treat set-builder form as if it were already a finished answer. If a question says "list the elements of \{x \in \mathbb{Z} \mid x^2 < 20\}," they copy the set-builder form into their answer box and move on. That loses the mark. The instruction "list the elements" is asking you to perform the translation.
A related slip: translating the rule to English but forgetting the type restriction. \{x \mid x^2 < 20\} without an "x \in \mathbb{Z}" restriction is an infinite set — the open interval (-\sqrt{20}, \sqrt{20}) in \mathbb{R}, which cannot be listed. The type restriction is part of the rule, and dropping it changes the answer completely.
Related
Sets — Introduction · Roster vs Set-Builder: Two Notations for the Same Set · Set-Builder Notation Translator · Finite vs Infinite Sets