QED
Sets · step 1 of 13

Set-builder notation & membership

Set-builder notation describes a set by a property rather than a list: {x ∈ ℤ : x² < 10} is a set of integers, and unpacking it means testing the property element by element. Two conventions matter throughout — sets are unordered and ignore repetition, so {1, 2, 2} and {2, 1} denote the same set, and the ∈ symbol relates an element to a set while ⊆ relates two sets.

Unlimited questions · marked criterion by criterion · no card needed

Method: how to approach it

The order below is what examiners expect to see, and each step carries its own marks.

  1. Read the notation in three parts{ variable ∈ domain : condition }. The domain limits what may be considered; the condition filters it.
  2. Test candidates against the conditionTo list the elements, run through the domain and keep those satisfying the property. Bound the search using the condition itself.
  3. Distinguish ∈ from ⊆1 ∈ {1, 2} is true; {1} ∈ {1, 2} is false but {1} ⊆ {1, 2} is true. Objects can also be sets, so read carefully.
  4. Normalise before comparingOrder and duplicates carry no information. Sort and de-duplicate both sets before deciding equality.

Worked example

List the elements of A = {x ∈ ℤ : x² ≤ 9} and decide whether {0, 3} ⊆ A and whether 3 ∈ A.

  1. The condition x² ≤ 9 means −3 ≤ x ≤ 3.
  2. Integers in that range: −3, −2, −1, 0, 1, 2, 3.
  3. So A = {−3, −2, −1, 0, 1, 2, 3}, with |A| = 7.
  4. 3 ∈ A since 3² = 9 ≤ 9; and both 0 and 3 lie in A, so {0, 3} ⊆ A.

Answer. A = {−3, −2, −1, 0, 1, 2, 3}; 3 ∈ A is true and {0, 3} ⊆ A is true.

Where marks get dropped

These are the specific errors that cost credit on set-builder notation & membership questions — QED's rubric penalises each of them separately.

Practise this until it is automatic

Unlimited fresh questions

QED generates new set-builder notation & membership problems on demand at warm-up, exam and challenge level, so you can drill this one skill until it stops costing you marks.

Marked like an examiner

Every answer is scored against a point-by-point rubric with partial credit, so you see exactly which step of the method broke down — not just a tick or a cross.

Answer in real notation

A one-tap symbol palette, a visual equation editor and a truth-table builder — or photograph your handwritten working and QED converts it to LaTeX.

Saved to your library

Every question you generate is kept and re-takeable as a timed exam, and your Sets mastery is tracked so you know when this is exam-ready.

Set-builder notation & membership — frequently asked questions

Does {1, 2, 2, 3} equal {1, 2, 3}?

Yes. A set records only which objects belong, not how many times they are written or in what order. If multiplicity matters you need a multiset, which is a different structure.

What is the difference between ∅ and {∅}?

∅ is the empty set with no elements; {∅} is a set containing one element, which happens to be the empty set. So |∅| = 0 and |{∅}| = 1.

Is a colon or a vertical bar correct in set-builder notation?

Both are standard — {x : P(x)} and {x | P(x)} mean the same. Use whichever your course uses and stay consistent within an answer.

The rest of Sets

Set-builder notation, operations, and set identities. Each subtopic below has its own method, worked example and mark-losing traps.

Ready to make set-builder notation & membership exam-proof?

Generate your first questions free — no card, no setup, no personal data stored. Practise until the method is second nature.

Start practising free →