Skip to main content
Mathematics LibreTexts

1.1: Set Notation and Relations

  • Page ID
    80495
  • \( \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}\)

    Notion of a Set

    The term set is intuitively understood by most people to mean a collection of objects that are called elements (of the set). This concept is the starting point on which we will build more complex ideas, much as in geometry where the concepts of point and line are left undefined. Because a set is such a simple notion, you may be surprised to learn that it is one of the most difficult concepts for mathematicians to define to their own liking. For example, the description above is not a proper definition because it requires the definition of a collection. (How would you define “collection”?) Even deeper problems arise when you consider the possibility that a set could contain itself. Although these problems are of real concern to some mathematicians, they will not be of any concern to us. Our first concern will be how to describe a set; that is, how do we most conveniently describe a set and the elements that are in it? If we are going to discuss a set for any length of time, we usually give it a name in the form of a capital letter (or occasionally some other symbol). In discussing set \(A\text{,}\) if \(x\) is an element of \(A\text{,}\) then we will write \(x \in A\text{.}\) On the other hand, if \(x\) is not an element of \(A\text{,}\) we write \(x \notin A\text{.}\) The most convenient way of describing the elements of a set will vary depending on the specific set.

    Enumeration. When the elements of a set are enumerated (or listed) it is traditional to enclose them in braces. For example, the set of binary digits is \(\{0, 1\}\) and the set of decimal digits is \(\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\}\text{.}\) The choice of a name for these sets would be arbitrary; but it would be “logical” to call them \(B\) and \(D\text{,}\) respectively. The choice of a set name is much like the choice of an identifier name in programming. Some large sets can be enumerated without actually listing all the elements. For example, the letters of the alphabet and the integers from 1 to 100 could be described as \(A = \{a, b, c,\ldots , x, y, z\}\text{,}\) and \(G = \{1, 2, \ldots , 99, 100\}\text{.}\) The three consecutive “dots” are called an ellipsis. We use them when it is clear what elements are included but not listed. An ellipsis is used in two other situations. To enumerate the positive integers, we would write \(\{1, 2, 3,\ldots \}\text{,}\) indicating that the list goes on infinitely. If we want to list a more general set such as the integers between 1 and \(n\text{,}\) where \(n\) is some undetermined positive integer, we might write \(\{1,\ldots ,n\}\text{.}\)

    Standard Symbols. Sets that are frequently encountered are usually given symbols that are reserved for them alone. For example, since we will be referring to the positive integers throughout this book, we will use the symbol \(\mathbb{P}\) instead of writing \(\{1, 2, 3, \ldots \}\text{.}\) A few of the other sets of numbers that we will use frequently are:

    • \(\mathbb{P}\text{:}\) the positive integers, \(\{1, 2, 3, 4, \ldots \}\)
    • \(\mathbb{N}\text{:}\) the natural numbers, \(\{0, 1, 2, 3, \ldots \}\)
    • \(\mathbb{Z}\text{:}\) the integers, \(\{\ldots , -3, -2, -1, 0, 1, 2, 3,\ldots \}\)
    • \(\mathbb{Q}\text{:}\) the rational numbers
    • \(\mathbb{R}\text{:}\) the real numbers
    • \(\mathbb{C}\text{:}\) the complex numbers

    Caution: Some people (roughly half of the world?) call the set \(\{1, 2, 3, 4, \ldots \}\) the natural numbers. We are not among them. We take the pythonic approach that assumes that starting with zero is more natural than starting at one.

    Set-Builder Notation. Another way of describing sets is to use set-builder notation. For example, we could define the rational numbers as

    \begin{equation*} \mathbb{Q}=\{a/b \mid a, b \in \mathbb{Z}, b\neq 0\}\text{.} \end{equation*}

    Note that in the set-builder description for the rational numbers:

    • \(a/b\) indicates that a typical element of the set is a “fraction.”
    • The vertical line, \(\mid\text{,}\) is read “such that” or “where,” and is used interchangeably with a colon.
    • \(a, b\in \mathbb{Z}\) is an abbreviated way of saying \(a\) and \(b\) are integers.
    • Commas in mathematics are read as “and.”

    The important fact to keep in mind in set notation, or in any mathematical notation, is that it is meant to be a help, not a hindrance. We hope that notation will assist us in a more complete understanding of the collection of objects under consideration and will enable us to describe it in a concise manner. However, brevity of notation is not the aim of sets. If you prefer to write \(a\in \mathbb{Z}\) and \(b\in \mathbb{Z}\) instead of \(a, b\in \mathbb{Z}\text{,}\) you should do so. Also, there are frequently many different, and equally good, ways of describing sets. For example, \(\{x\in \mathbb{R} \mid x^{2}-5x+6 =0\}\) and \(\{x \mid x \in \mathbb{R}, x^{2}-5x+6=0\}\) both describe the solution set \(\{2, 3\}\text{.}\)

    A proper definition of the real numbers is beyond the scope of this text. It is sufficient to think of the real numbers as the set of points on a number line. The complex numbers can be defined using set-builder notation as \(\mathbb{C} = \{a + b i:a, b \in \mathbb{R}\}\text{,}\) where \(i^2 = -1\text{.}\)

    In the following definition we will leave the word “finite” undefined.

    Definition \(\PageIndex{1}\): Finite Set

    A set is a finite set if it has a finite number of elements. Any set that is not finite is an infinite set.

    Definition \(\PageIndex{2}\): Cardinality

    Let \(A\) be a finite set. The number of different elements in \(A\) is called its cardinality. The cardinality of a finite set \(A\) is denoted \(\lvert A \rvert\text{.}\)

    As we will see later, there are different infinite cardinalities. We can't make this distinction until Chapter 7, so we will restrict cardinality to finite sets for now.

    Subsets

    Definition \(\PageIndex{3}\): Subset

    Let \(A\) and \(B\) be sets. We say that \(A\) is a subset of \(B\) if and only if every element of \(A\) is an element of \(B\text{.}\) We write \(A \subseteq B\) to denote the fact that \(A\) is a subset of \(B\text{.}\)

    Example \(\PageIndex{1}\): Some Subsets

    1. If \(A = \{3, 5, 8\}\) and \(B = \{5, 8, 3, 2, 6\}\text{,}\) then \(A\subseteq B\text{.}\)
    2. \(\displaystyle \mathbb{N}\subseteq \mathbb{Z}\subseteq \mathbb{Q}\subseteq \mathbb{R}\subseteq \mathbb{C}\)
    3. If \(S = \{3, 5, 8\}\) and \(T = \{5, 3, 8\}\text{,}\) then \(S \subseteq T\) and \(T \subseteq S\text{.}\)

    Definition \(\PageIndex{4}\): Set Equality

    Let \(A\) and \(B\) be sets. We say that \(A\) is equal to \(B\) (notation \(A = B\)) if and only if every element of \(A\) is an element of \(B\) and conversely every element of \(B\) is an element of \(A\text{;}\) that is, \(A \subseteq B\) and \(B \subseteq A\text{.}\)

    Example \(\PageIndex{2}\): Examples Illustrating Set Equality

    1. In Example \(\PageIndex{1}\), \(S = T\text{.}\) Note that the ordering of the elements is unimportant.
    2. The number of times that an element appears in an enumeration doesn't affect a set. For example, if \(A = \{1, 5, 3, 5\}\) and \(B = \{1, 5, 3\}\text{,}\) then \(A = B\text{.}\) Warning to readers of other texts: Some books introduce the concept of a multiset, in which the number of occurrences of an element matters.

    A few comments are in order about the expression “if and only if” as used in our definitions. This expression means “is equivalent to saying,” or more exactly, that the word (or concept) being defined can at any time be replaced by the defining expression. Conversely, the expression that defines the word (or concept) can be replaced by the word.

    Occasionally there is need to discuss the set that contains no elements, namely the empty set, which is denoted by \(\emptyset\). This set is also called the null set.

    It is clear, we hope, from the definition of a subset, that given any set \(A\) we have \(A\subseteq A\) and \(\emptyset \subseteq A\text{.}\) If \(A\) is nonempty, then \(A\) is called an improper subset of \(A\text{.}\) All other subsets of \(A\text{,}\) including the empty set, are called proper subsets of \(A\text{.}\) The empty set is an improper subset of itself.

    Note \(\PageIndex{1}\)

    Not everyone is in agreement on whether the empty set is a proper subset of any set. In fact earlier editions of this book sided with those who considered the empty set an improper subset. However, we bow to the emerging consensus at this time.

    Exercises

    Exercise \(\PageIndex{1}\)

    List four elements of each of the following sets:

    1. \(\displaystyle \{k \in \mathbb{P} \mid {k - 1} \textrm{ is a multiple of 7}\}\)
    2. \(\displaystyle \{x \mid x \textrm{ is a fruit and its skin is normally eaten}\}\)
    3. \(\displaystyle \{x \in \mathbb{Q}\mid \frac{1}{x} \in \mathbb{Z}\}\)
    4. \(\displaystyle \{2n \mid n \in \mathbb{Z}, n < 0 \}\)
    5. \(\displaystyle \{s \mid s = 1 + 2 + \cdots + n \textrm{ for some } n \in \mathbb{P}\}\)
    Answer

    These answers are not unique.

    1. \(\displaystyle 8, 15, 22, 29\)
    2. \(\displaystyle \textrm{apple, pear, peach, plum}\)
    3. \(\displaystyle 1/2, 1/3, 1/4, 1/5\)
    4. \(\displaystyle -8, -6, -4, -2\)
    5. \(\displaystyle 6, 10, 15, 21\)

    Exercise \(\PageIndex{2}\)

    List all elements of the following sets:

    1. \(\displaystyle \{\frac{1}{n} \mid n \in \{3,4,5,6\}\}\)
    2. \(\displaystyle \{\alpha \in \textrm{ the alphabet } \mid \alpha \textrm{ precedes F}\}\)
    3. \(\displaystyle \{x \in \mathbb{Z} \mid x = x+1 \}\)
    4. \(\displaystyle \{n^2 \mid n = -2, -1, 0, 1, 2\}\)
    5. \(\displaystyle \{n \in \mathbb{P} \mid n \textrm{ is a factor of 24 }\}\)

    Exercise \(\PageIndex{3}\)

    Describe the following sets using set-builder notation.

    1. \(\displaystyle \{ 5, 7, 9, \dots , 77, 79\}\)
    2. the rational numbers that are strictly between \(-1\) and \(1\)
    3. the even integers
    4. \(\displaystyle \{-18, -9,0,9, 18,27, \dots \}\)
    Answer
    1. \(\displaystyle \{2k + 1 \mid k \in \mathbb{Z}, 2 \leqslant k \leqslant 39\}\)
    2. \(\displaystyle \{x \in \mathbb{Q}\mid -1 < x < 1\}\)
    3. \(\displaystyle \{2n\mid n \in \mathbb{Z}\}\)
    4. \(\displaystyle \{9n\mid n \in \mathbb{Z}, -2 \leq n\}\)

    Exercise \(\PageIndex{4}\)

    Use set-builder notation to describe the following sets:

    1. \(\displaystyle \{1, 2, 3, 4, 5, 6, 7\}\)
    2. \(\displaystyle \{1, 10, 100, 1000, 10000\}\)
    3. \(\displaystyle \{1, 1/2, 1/3, 1/4, 1/5, . . .\}\)
    4. \(\displaystyle \{0\}\)

    Exercise \(\PageIndex{5}\)

    Let \(A = \{0, 2, 3\}\text{,}\) \(B = \{2, 3\}\text{,}\) and \(C = \{1, 5, 9\}\text{.}\) Determine which of the following statements are true. Give reasons for your answers.

    1. \(\displaystyle 3 \in A\)
    2. \(\displaystyle \{3\} \in A\)
    3. \(\displaystyle \{3\} \subseteq A\)
    4. \(\displaystyle B\subseteq A\)
    5. \(\displaystyle A\subseteq B\)
    6. \(\displaystyle \emptyset \subseteq C\)
    7. \(\displaystyle \emptyset \in A\)
    8. \(\displaystyle A\subseteq A\)
    Answer
    1. True
    2. False
    3. True
    4. True
    5. False
    6. True
    7. False
    8. True

    Exercise \(\PageIndex{6}\)

    One reason that we left the definition of a set vague is Russell's Paradox. Many mathematics and logic books contain an account of this paradox. Two references are [41] and [36]. Find one such reference and read it.


    This page titled 1.1: Set Notation and Relations is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Al Doerr & Ken Levasseur via source content that was edited to the style and standards of the LibreTexts platform.