Types: Not Applicable
Examples: Not Applicable
Constructions: Not Applicable
Generalizations: Not Applicable

Properties: Not Applicable
Sufficiencies: Not Applicable
Equivalences: Not Applicable
Justifications: Not Applicable

Set Theory Vocabulary

“is an element of”
“the set of a such that p(a) is true”
“equality”; if and have the same elements.
“is a subset of”: means that every element of is an element of B.
“intersect”: is the set of elements of both and .
“union”: is the set of elements of either or or both.
“cross: is the set of ordered pairs with and

Remark. Every set is a subset of itself. , and the empty set is a subset of every set.