Set Theory Basics
36 cards · 🇺🇸 English
Sets, subsets, unions, intersections and set operations.
Study all 36 cards for free
Flashcards, quizzes, pixel-art games and a daily review that remembers for you.
Try the first 10 cards
1 / 10Set theory
Tap the card for the answer · swipe right if you knew it, left if not
Already have an account? Sign in
Cards
- 1Set theoryThe branch of mathematical logic that studies sets, which can be informally described as collections of objects
- 2What notation is used to indicate membership in a set?o ∈ A means that object o is a member (or element) of set A
- 3How is a set described?By listing elements separated by commas within braces { }, or by a characterizing property of its elements
- 4Subset relationIf all members of set A are also members of set B, then A is a subset of B, denoted A ⊆ B
- 5Proper subsetA is a proper subset of B if A is a subset of B but A is not equal to B
- 6Is a set a subset of itself?Yes, every set is a subset of itself (though not a proper subset)
- 7Union of two setsA ∪ B is the set of all objects that are a member of A, or B, or both
- 8Intersection of two setsA ∩ B is the set of all objects that are members of both A and B
- 9Union of {1, 2, 3} and {2, 3, 4}{1, 2, 3, 4}
- 10Intersection of {1, 2, 3} and {2, 3, 4}{2, 3}
- 11Set differenceU ∖ A is the set of all members of U that are not members of A
- 12Set difference {1, 2, 3} ∖ {2, 3, 4}{1}
- 13Complement of a set A in universe UWhen A is a subset of U, the complement is U ∖ A, sometimes denoted Ac
- 14Symmetric differenceA △ B is the set of all objects that are a member of exactly one of A and B (in one set, but not both)
- 15Symmetric difference of {1, 2, 3} and {2, 3, 4}{1, 4}
- 16Cartesian productA × B is the set whose members are all possible ordered pairs (a, b), where a is in A and b is in B
- 17Cartesian product of {1, 2} and {red, white}{(1, red), (1, white), (2, red), (2, white)}
- 18Empty setThe unique set containing no elements, denoted { }, ∅, or ⌀
- 19Power setThe power set of A, denoted P(A), is the set whose members are all possible subsets of A
- 20Power set of {1, 2}{ { }, {1}, {2}, {1, 2} }
- 21Cantor's revolutionary discoveryThat the set of all real numbers is uncountable—one cannot put all real numbers in a list
- 22Cantor's theoremThe size of the power set of A is strictly larger than the size of A, even when A is infinite
- 23What notation did Cantor use for cardinal numbers?The Hebrew letter ℵ (aleph) with a natural number subscript
- 24What notation did Cantor use for ordinal numbers?The Greek letter ω (omega)
- 25Russell's paradoxLet R be the set of all sets not members of themselves. If R is not in itself, its definition says it is; if R is in itself, then it's not (since R contains only sets not in themselves)
- 26Naive set theoryThe non-formalized systems of set theory investigated in the early stage before paradoxes were discovered
- 27Most widely studied axiomatic set theoryZermelo–Fraenkel set theory with the axiom of choice (ZFC)
- 28Pure setA set where all of its members are sets, all members of its members are sets, and so on
- 29Von Neumann universeThe universe of pure sets organized into a cumulative hierarchy based on how deeply their members are nested
- 30What rank is assigned to the empty set in the von Neumann hierarchy?Rank 0
And 6 more cards. Study the whole deck free
Articles about this deck
More Mathematics decks
See all- 🕸️
Discrete Mathematics: Graphs & Structures
60 cards · 🇺🇸 English
Graphs, paths, trees and the discrete structures behind computer science.
- ∨
Propositional Logic & Truth Tables
45 cards · 🇺🇸 English
Logical connectives, truth tables and rules of inference.
- ∨
Logique propositionnelle et tables de vérité
45 cards · 🇫🇷 Français
Connecteurs logiques, tables de vérité et règles d'inférence.
- 🕸️
Diskrete Mathematik: Graphen & Strukturen
60 cards · 🇩🇪 Deutsch
Graphen, Pfade, Bäume und die diskreten Strukturen hinter der Informatik.
- 🕸️
Matemáticas discretas: grafos y estructuras
60 cards · 🇪🇸 Español
Grafos, caminos, árboles y las estructuras discretas que sustentan la informática.
- ∨
Lógica proposicional y tablas de verdad
45 cards · 🇪🇸 Español
Conectivos lógicos, tablas de verdad y reglas de inferencia.
