Skip to main content
Engineering LibreTexts

3.1.5: Sets of sets

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

    Sets can contain other sets as elements. For example, the notation {a, {b}} defines a set that contains two elements, the entity a and the set {b}. Since the set {b} is a member of the set \(\{a,\{b\}\},\) we have that \(\{b\} \in\{a,\{b\}\} .\) On the other hand, provided that \(a \neq b\) the statement \(\{b\} \subseteq\{a,\{b\}\}\) is false, since saying \(\{b\} \subseteq\{a,\{b\}\}\) is equivalent to saying that \(b \in\{a,\{b\}\},\) and the entity \(b\) is not one of the two members of \(\{a,\{b\}\} .\) For the entity \(a,\) it is true that \(\{a\} \subseteq\{a,\{b\}\}\) and for the set \(\{b\},\) it is true that \(\{\{b\}\} \subseteq\{a,\{b\}\}\) Study these examples carefully before you continue, as many students struggle with the notion and notation of putting sets in sets.

    Given a set A, we can construct the set that contains all the subsets of A. This set is called the power set of \(A,\) and is denoted \(\mathscr{P}(A) .\) Formally, we define

    \(\mathcal{P}(A)=\{X | X \subseteq A\}\)

    For example, if A = {a, b}, then the subsets of A are the empty set, {a}, {b}, and {a, b}, so the power set of A is set given by

    P(A) = {∅, {a}, {b}, {a,b}}.
    So the power set of of A has four elements. Does this surprise you?

    Note that since the empty set is a subset of any set, the empty set is an element of the power set of any set. That is, for any set A, ∅ ⊆ A and ∅ ∈ P(A). Since the empty set is a subset of itself, and is its only subset, we have that P(∅) = {∅}. The set {∅} is not empty. It contains one element, namely ∅.

    The Nobel Prize was won by Bertrand Russell (1872– 1970), a dominant figure in British thought during the twentieth century. Russell was a philosopher and mathematician, and also a historian, social critic and political activist. With A. N. Whitehead, Russell wrote Principia Mathematica, an epic attempt to create a lo- gical basis for mathematics. His work has had a consid- erable influence on computer science, and not just for his contributions to logic and set theory: he proposed the beginnings of what are now type systems.

    屏幕快照 2019-07-19 21.54.42.png

    Source: en.Wikipedia.org/wiki/Bertrand_Russell.

    We remarked earlier in this section that the notation {x | P(x)} is only valid if the domain of discourse of P is a set. This might seem a rather puzzling thing to say—after all, why and how would the domain of discourse be anything else? The answer is related to Russell’s Paradox, which we mentioned briefly in Chapter 3 and which shows that it is logically impossible for the set of all sets to exist. This impossibility can be demonstrated using a proof by contradiction. In the proof, we use the existence of the set of all sets to define another set which cannot exist because its existence would lead to a logical contradiction.

    Theorem 4.2.

    There is no set of all sets.

    Proof. Suppose that the set of all sets exists. We will show that this assumption leads to a contradiction. Let V be the set of all sets. We can then define the set R to be the set which contains every set that does not contain itself. That is,

    \(R=\{X \in V | X \notin X\}\)

    Now, we must have either R R or R . We will show that either case leads to a contradiction.

    Consider the case where R R. Since R R, R must satisfy the condition for membership in \(R .\) A set \(X\) is in \(R\) iff \(X \notin X .\) To say that \(R\) satisfies this condition means that \(R \notin R .\) That is, from the fact that \(R \in R,\) we deduce the contradiction that \(R \notin R\).

    Now consider the remaining case, where \(R \notin R .\) since \(R \notin R, R\) does not satisfy the condition for membership in \(R .\) since the condition for membership is that \(R \notin R\) and this condition is false, the statement \(R \notin R\) must be false. But this means that the statement R R is true. From the fact that R , we deduce the contradiction that R R.

    Since both possible cases, \(R \in R\) and \(R \notin R,\) lead to contradictions, we see that it is not possible for R to exist. Since the existence of R follows from the existence of V, we see that V also cannot exist.

    This (in)famous contradiction has been adapted to natural language to make it easier to convey the problem to laymen. Unfortunately many of these translations are flawed. Can you think of a solution for the following for instance?

    “The barber of Seville shaves all men who do not shave themselves. Who shaves the barber?”

    To avoid Russell’s paradox, we must put limitations on the construction of new sets. We can’t force the set of all sets into existence simply by thinking of it. We can’t form the set {x | P(x)} unless the domain of discourse of P is a set. Any predicate Q can be used to form a set {x X | Q(x)}, but this notation requires a pre-existing set X. Predicates can be used to form subsets of existing sets, but they can’t be used to form new sets completely from scratch.

    The notation {x A | P(x)} is a convenient way to effectively limit the domain of discourse of a predicate, P, to members of a set, A, that we are actually interested in. We will use a similar notation with the quantifiers ∀ and ∃. The proposition (∀x A)(P(x))is true if and only if P(a) is true for every element a of the set A. And the proposition(∃x A)(P(x)) is true if and only if there is some element a of the set A for which P(a)is true. These notations are valid only when A is contained in the domain of discourse for P. As usual, we can leave out parentheses when doing so introduces no ambiguity. So, for example, we might write ∀x A P(x).


    3.1.5: Sets of sets is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?