Week 1: Sets and Numbers Flashcards
Extensive Notation
Specifying a set by listing its members one by one, e.g., {James, Daniel, Robert}.
Intensive Notation
Specifying a set by stating a condition fulfilled by all and only its members, e.g., {x: x was a cast member of The Walking Dead}.
Membership notation
We use the symbol ∈ to denote “is a member of”.
Axiom of Extensionality
Sets A and B are one and the same set if and only if every member of A is a member of B, and vice versa.
Axiom of Comprehension
For any condition C, there is a set A of things that fulfill condition C.
Union of sets
The union of sets A and B, noted A ∪ B, is the set of things that are in A or in B.
Intersection of sets
The intersection of sets A and B, noted A ∩ B, is the set of things that are in both A and B.
Empty set
The empty set, denoted by ∅, is a set with no members.
Subset
A set A is a subset of set B, denoted A ⊆ B, if and only if every member of A is also a member of B.
Proper subset
A set A is a proper subset of set B, denoted A ⊂ B, if and only if every member of A is also a member of B, and A is not equal to B.
Russell’s Paradox
A paradox that arises from considering the set of all sets that do not contain themselves as a member. It shows that naive set theory is incoherent.
Pairing, empty set and union Axioms
Axioms that define the empty set, pairing of sets, and union of sets in set theory. They are basic principles used to construct and manipulate sets.
Power set axiom
The power set of a set A, noted P(A), is the set of all subsets of A. The power set axiom states that for any set A, there exists a set P(A) which is the power set of A.
Power set axiom
The power set of a set A, noted P(A), is the set of all subsets of A. The power set axiom states that for any set A, there exists a set P(A) which is the power set of A.
Inclusion
A set A is included in a set B if and only if anything that is a member of A is a member of B. Inclusion refers to the relationship between sets, whereas membership refers to the relationship between an element and a set.