Vocab Flashcards
set
A collection of things called elements or members.
irrational numbers
A number that cannot be written in the form m/n with m and n both integers.
rational numbers
Numbers, which are ratios of integers with nonzero denominators. Rational numbers have decimal expansions which terminate or repeat.
integers
The set of natural numbers, their negatives, and zero.
natural numbers
All positive whole numbers excluding zero.
complex numbers
Numbers, which have the form a+bi.
Sets A and B are equal
A = B, if and only if A and B contain the same elements or neither set contains any element.
subset
Set A is a subset of set B, if and only if every element of A is an element of B.
power set
P(A), is the set of all subsets of A: P(A) = {B | B subset A}
union of sets A and B
A U B, is the set of elements in A or in B (or in both).
intersection of A and B
A ∩ B, is the set of elements that belong to both A and B.
set difference of sets A and B
A \ B, is the set of elements of A that are not in B.
symmetric difference of sets A and B
A ⨁ B, is the set of elements in A or in B, but not in both.
Cartesian product of A and B
The set A x B = {(a,b) | a∈A,b∈B}
binary relation from A to B
1) Is a set
2) A x B = {(a,b) | a∈A,b∈B}
3) is a subset of A x B
binary relation on A (from A to A)
1) Is a set
2) A x A = {(a,b) | a∈A, b∈A}
3) is a subset of A x A
reflexive relation
Given R on set A: If (a,a)∈R for ALL a∈A,then the relation is reflexive.
symmetric relation
If (a,b) ∈ R, then (b,a) ∈ R.
antisymmetric relation
If (a,b) ∈ R and (b,a) ∈ R, then a = b.
transitive relation
A binary relation R on a set A is transitive if and only if a, b, c ∈ A, and both (a,b) and (b,c) ∈ R, then (a,c) ∈ R.
equivalence relation on set A
A binary relation R on A that is reflexive, symmetric, and transitive. You must prove:
1) a ~ a for all a ∈ A,
2) if a ∈ A, and b ∈ A, and a ~ b, then b ~ a, and
3) if a, b, c ∈ A, and both a ~ b and b ~ c, then a ~ c.
equivalence class
The group into which an equivalence relation divides the underlying set. The equivalence class of an element is the collection of all things related to it. The equivalence class of element a ∈ A is the set a ̅ = {x ∈ A | x ~ a}.
quotient set of A mod ~
Denoted A/~, it is the set of all equivalence classes.