Skip to main content
Library homepage
 

Text Color

Text Size

 

Margin Size

 

Font Type

Enable Dyslexic Font
Mathematics LibreTexts

5.S: Set Theory (Summary)

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

Important Definitions

  • Equal sets, page 55
  • Subset, page 55
  • Proper subset, page 218
  • Power set, page 222
  • Cardinality of a finite set, page 223
  • Intersection of two sets, page 216
  • Union of two sets, page 216
  • Set difference, page 216
  • Complement of a set, page 216
  • Disjoint sets, page 236
  • Cartesian product of two sets, pages 256
  • Ordered pair, page 256
  • Union over a family of sets, page 265
  • Intersection over a family of sets, page 265
  • Indexing set, page 268
  • Indexed family of sets, page 268
  • Union over an indexed family of sets, page 269
  • Intersection over an indexed family of sets, page 269
  • Pairwise disjoint family of sets, page 272

Important Theorems and Results about Sets

  • Theorem 5.5. Let n be a nonnegative integer and let A be a subset of some universal set. If A is a finite set with n elements, then A has 2n subsets. That is, if |A|=n, then |P(A)|=2n.
  • Theorem 5.18. Let A, B, and C be subsets of some universal set U. Then all of the following equalities hold.

    Properties of the Empty Set A= AU=A
    and the Universal Set A=A AU=U

    Idempotent Laws AA=A AA=A

    Commutative Laws. AB=BA AB=BA

    Associative Laws (AB)C=A(BC)
    (AB)C=A(BC)

    Distributive Laws A(BC)=(AB)(AC)
    A(BC)=(AB)(AC)
  • Theorem 5.20. Let A and B be subsets of some universal set U. Then the following are true:
    Basic Properties(Ac)c=AAB=ABcEmpty Set, Universal Set             A=A and AU=c=U and Uc=De Morgan's Laws(AB)c=AcBc(AB)c=AcBcSubsets and ComplementsAB if and only if BcAc.
  • Theorem 5.25. Let A, B, and C be sets. Then

    1. A×(BC)=(A×B)(A×C)
    2. A×(BC)=(A×B)(A×C)
    3. (AB)×C=(A×C)(B×C)
    4. (AB)×C=(A×C)(B×C)
    5. A×(BC)=(A×B)(A×C)
    6. (AB)×C=(A×C)(B×C)
    7. If TA, then T×BA×B.
    8. If TB, then A×YA×B.
  • Theorem 5.30. Let Λ be a nonempty indexing set and let A={Aα | αΛ} be an indexed family of sets. Then

    1. For each βΛ, αΛAαAβ.
    2. For each βΛ, AβαΛAα.
    3. (αΛAα)c=αΛAcα
    4. (αΛAα)c=αΛAcα

    Parts(3) and (4) are known as De Morgan's Laws.
  • Theorem 5.31. Let Λ be a nonempty indexing set, let A={Aα | αΛ} be an indexed family of sets, and let B be a set. Then

    1. B(αΛAα)=αΛ(BAα), and
    2. B(αΛAα)=αΛ(BAα),

Important Proof Method

The Choose-an-Element Method
The choose-an-element method is frequently used when we encounter a universal quantifier in a statement in the backward process of a proof. This statement often has the form

For each element with a given property, something happens.

In the forward process of the proof, we then we choose an arbitrary element with the given property.

Whenever we choose an arbitrary element with a given property, we are not selecting a specific element. Rather, the only thing we can assume about the element is the given property.

For more information, see page 232.

page297image2085397184page297image2085397456


This page titled 5.S: Set Theory (Summary) is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Ted Sundstrom (ScholarWorks @Grand Valley State University) via source content that was edited to the style and standards of the LibreTexts platform.

  • Was this article helpful?

Support Center

How can we help?