Every answer in “Linear Inequalities”, “Compound Inequalities”, “Absolute Value Equations” and “Absolute Value Inequalities” was a set of numbers written as an inequality. That is a perfectly good way to write a set, and it becomes clumsy the moment the set has two pieces. It also says nothing about which numbers were on the table to begin with. Two standard notations address both.
Definition · Interval notationFor a ≤ b: [a, b] is the set of x with a ≤ x ≤ b; (a, b) is the set with a < x < b; [a, b) and (a, b] include one end each. A square bracket includes its endpoint and a round bracket excludes it.
Unbounded ends use ∞ and −∞, always with a round bracket: [a, ∞), (−∞, b], and (−∞, ∞) for the whole line.
Definition · Set-builder notation{ x ∈ ℝ : P(x) } is the set of all real numbers x for which the condition P(x) is true. The colon is read such that, and a vertical bar is used for the same purpose: { x ∈ ℝ | x ≥ 2 }.
∈ is read is an element of. Naming the set the numbers come from matters: { x ∈ ℝ : 2 ≤ x ≤ 5 } is an interval, while { x ∈ ℤ : 2 ≤ x ≤ 5 } is the four numbers 2, 3, 4, 5.
One set, four ways
inequality -1 ≤ x < 3
interval [-1, 3)
set-builder { x ∈ ℝ : -1 ≤ x < 3 }
number line filled dot at -1, hollow dot at 3, shaded between
The filled and hollow ends on the line are the brackets. A filled dot is a square bracket and a hollow one is round, and reading between the two representations should become automatic; the lab prints all four from one structure so that they cannot disagree.
Unions, and sets in two pieces
x ≤ −2 or x ≥ 5 is two pieces, and interval notation writes it as a union: (−∞, −2] ∪ [5, ∞). That ∪ is “Compound Inequalities”'s or. The intersection sign ∩ appears far less often, because an and of two intervals is itself an interval and gets written as one.
The forms that describe nothing
- [3, ∞]. Infinity is not a number, so it cannot be an element of anything. Write [3, ∞).
- [5, 2]. Interval notation names the smaller end first. Read literally it asks for numbers that are at least 5 and at most 2, of which there are none.
- (4, 4). Both ends excluded and equal, so there is no number strictly between them: this is the empty set. Compare [4, 4], which is the one-element set { 4 }.
- x = [2, 5). x is a number and [2, 5) is a set, so they cannot be equal. Write x ∈ [2, 5), or say that the solution set is [2, 5).
The empty set is written ∅, or { }. It is not { 0 } and it is not 0: { 0 } is a set with one element in it, and ∅ is a set with none. An inequality with no solutions has solution set ∅, and writing 0 claims that 0 is a solution.
(2, 5) is also how a point in the plane is written, in Lines, Functions and Graphs. The two notations share their symbols and are told apart by context: an interval is a set of numbers on a line, and a point is a pair of coordinates. Where both are in play, saying which you mean is worth the words.
Example · Reading a set back(−∞, −2] ∪ [5, ∞). Two pieces. The left one runs for ever downward and stops at −2, which it includes. The right one starts at 5, which it includes, and runs for ever upward. In set-builder notation it is { x ∈ ℝ : x ≤ −2 or x ≥ 5 }. Nothing strictly between −2 and 5 belongs to it, and both −2 and 5 do.
One further form is worth having. A set small enough to list is listed: { 5, −3 } is the solution set of 3|x − 1| + 2 = 14 from “Absolute Value Equations”, and the list is the readable form. Interval notation does reach it, as [−3, −3] ∪ [5, 5], and reaches it clumsily. Listing, interval notation and set-builder notation are three tools, and the set decides which of them is readable.