Exam 1 Flashcards
Every set contains the empty set and itself.
Theorem 2.2.2, page 42
For sets X, A, and B, X is a subset of A intersect B iff X is a subset of A and X is a subset of B.
Exercise 2.3.8, pg. 44
Definition of a subset
S is a subset of A if every element of S is in A pg. 42
Definition of set equality
A = B if A is a subset of B and vice versa pg. 43
If A is a subset of B, and B is a subset of C, then A is a subset of C.
Exercise2.24, pg. 42
Definition of proper subset
B is a subset of X and B neq X
Definition of “the union over alpha in the lambda of the B-alpha’s”
The set of elements x such that x is an element of any B-alpha for all alphas in lambda
Definition of “the intersection over alpha in the lambda of the B-alphas”
The set of elements x such that x is an element of every B-alpha for all alphas in lambda
A union (B intersect C)=(A union B) intersect (A union C)
Theorem 2.4.2, pg. 48
A intersect (B union C)=(A intersect B) union (A intersect C)
Exercise 2.4.4, pg. 48
C union (the intersection over alpha in the lambda of the B-alphas) = the intersection over alpha in the lambda of (the B-alphas union C)
Theorem 2.4.5 pg 49
C intersect (the union over alpha in the lambda of the B-alphas) = the union over alpha in the lambda of (the B-alphas intersect C)
Theorem 2.4.5 pg 49
C union (the union over alpha in the lambda of the B-alphas) = (the union over alpha in the lambda of the B-alphas union C)
Theorem 2.4.6 pg 49
C intersect (the intersection over alpha in the lambda of the B-alphas) = (the intersection over alpha in the lambda of the B-alphas intersect C)
Theorem 2.4.6 pg. 49
Definition of set complement
The set containing all the elements in U not in S, 2.3.1 pg 43