Skip to main content
Mathematics LibreTexts

9.2: Defining sets

  • Page ID
    83446
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Remember that mathematical notation is about communicating mathematical information. Since a set is defined by its member objects, to communicate the details of a set of objects one needs to provide a means to decide whether any given object is or is not an element of the set.

    9.2.1: Listing elements

    One way to communicate the details of a set definition is to explicitly list or describe all elements of the set. Such a list should be enclosed in braces to indicate that the objects in the list are being collected into a set.

    Example \(\PageIndex{1}\): Listing the elements of a set

    If we write

    \begin{equation*} A = \{ \text{monkey, tennis ball, the number } 2 \} \text{,} \end{equation*}

    then we intend for the letter \(A\) to become a label representing the set consisting of some specific monkey, some specific tennis ball, and the number \(2\text{.}\)

    Here are some sets containing familiar collections of numbers. Notice how in the first two examples we “list” the elements by providing a pattern and then using … to imply that the pattern continues as expected, and in the second two examples we merely describe what the elements are in words.

    Definition: \(\mathbb{N}\)

    the set \(\{ 0, 1, 2, \ldots \}\) of natural numbers

    Definition: \(\mathbb{Z}\)

    the set \(\{ \ldots , -2, -1, 0, 1, 2, \ldots \}\) of integers

    Definition: \(\mathbb{Q}\)

    the set of all fractions, call the set of rational numbers

    Definition: \(\mathbb{R}\)

    the set of all decimal numbers, called the set of real numbers

    Note \(\PageIndex{1}\)

    Keep the following in mind for a set defined by listing elements.

    • Order does not matter. For example, \(\{a,b\}\) and \(\{b,a\}\) are the same set because they consist of precisely the same member elements.
    • Repetition does not matter. For example, \(\{a,a,b\}\) and \(\{a,b\}\) are the same set because they consist of precisely the same member elements.

    9.2.2: Candidate-condition notation

    Another way to define a set is candidate-condition notation:

    \begin{equation*} \text{set} =\{ \text{candidate domain}\vert \text{condition(s) on candidates}\} \text{.} \end{equation*}

    This notation provides a means to decide whether an object is a member of the set by first using an already-defined set as a pool of “member candidates” as well a condition or a list of conditions each candidate must satisfy in order to actually be a member.

    If we write \(S\) for the set being defined, \(C\) for the set of candidates, and \(T\) for the test those candidates must satisfy to be included in \(S\) (that is, \(T\) is a predicate with domain \(C\)), then the candidate-condition notation takes the form

    \begin{equation*} S = \{ x \in C \vert T(x) \} \text{,} \end{equation*}

    and can be read as

    \(S\) is the set of those elements \(x\) in \(C\) for which \(T(x)\) is true.

    Example \(\PageIndex{2}\): Using candidate-condition notation to define a set

    Consider the set

    \begin{equation*} A = \{ 0, 3, 6, 9, 12, \ldots \} \text{.} \end{equation*}

    We could define this set in a more precise manner (i.e. without resorting to using dots) as follows.

    \begin{equation*} A = \{ n \in \mathbb{N} \vert n \text{ divisible by } 3 \} \end{equation*}

    The “\(n\in\mathbb{N}\)” part to the left of the divider tells us that the pool of “member candidates” for \(A\) is the set of natural numbers, and the test to the right of the divider tells us how to decide when a given candidate natural number \(n\) is actually a member of \(A\text{.}\) In words, you should think of the above definition as saying the following.

    Set \(A\) consists of those elements of \(\mathbb{N}\) which are divisible by \(3\text{.}\)

    9.2.3: Form-parameter notation

    Finally, sets can be defined by form-parameter notation:

    \begin{equation*} \text{set} = \{ \text{form involving parameter} \vert \text{parameter domain} \} \text{.} \end{equation*}

    This notation describes the members of a set by providing a “form” to which the members must conform. Usually the “form” is based on parameter variables that can range over a set of possibilities.

    Example \(\PageIndex{3}\): Using form-parameter notation to define a set.

    Again consider the set

    \begin{equation*} A = \{ 0, 3, 6, 9, 12, \ldots \} \text{.} \end{equation*}

    We could also define this set as

    \begin{equation*} A = \{3n \vert n\in \mathbb{N} \} \text{.} \end{equation*}

    Here, the form of the elements of \(A\) is given to the left of the divider as “\(3\) times a number”, where the number is represented by the parameter \(n\text{.}\) Then the allowed range of the number parameter \(n\) is given to the right of the divider. In words, you should think of the above definition as saying the following.

    The elements of set \(A\) are precisely those objects that are \(3\) times a natural number.

    Example \(\PageIndex{4}\): Defining the set of fraction

    We could define the set \(\mathbb{Q}\) of rational numbers in this way:

    \begin{equation*} \mathbb{Q} =\{ \dfrac{m}{n} \vert m,n\in \mathbb{Z},\, n\ne 0\} \text{.} \end{equation*}

    This says that the set \(\mathbb{Q}\) consists of all symbols of the form “number over number”, where the numbers can be any integers, as long as the bottom number is not zero. However, we need to be a little bit careful here, since we allow different symbols of this form to represent the same element. For example,

    \begin{align*} \dfrac{3}{6} & = \dfrac{1}{2} \text{,} & \dfrac{2}{-9} & = \dfrac{-2}{9} \text{,} & \dfrac{0}{n} & = \dfrac{0}{1} \quad \text{(any } n\ne 0\text{).} \end{align*}

    We really should make this element form duplication explicit in the definition of the set, but to do this would be really cumbersome and would be expressing something that is learned in grade school, so it is usually omitted.

    9.2.4: Empty set

    There is one special set, the elements of which are very easy to list.

    Definition: empty set

    the set which has no elements

    Definition: \(\emptyset\)

    the empty set

    Remark \(\PageIndex{1}\)

    The empty set is defined by requiring that the statement “\(x\) is an element of \(\emptyset\)” is always false, for every object \(x\text{.}\)

    Warning \(\PageIndex{1}\)

    Be careful not to inadvertently try to prove some property of members of the empty set! You will be proving a vacuously true statement. (See Section 4.3.)


    This page titled 9.2: Defining sets is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Jeremy Sylvestre via source content that was edited to the style and standards of the LibreTexts platform.