x -> y
if x, then y
y -> x
x if y
rational number
any number that can be expressed in the form p/q where p and q are integers
proof by contradiction
assume there is the OPPOSITE of what you’re claiming and proceed until we reach an unacceptable conclusion, thus, you must conclude the opposite
if some number is divisible by 2
some number must be a even number
square of an odd number
is an odd number
natural numbers (N)
non-negative, non-zero, integers (ex. 1, 2, 3, 4, 5…)
Z
integers (ex. -3, -2, -2, 0, 1, 2, 3)
Q (rational numbers)
all fractions (p/q) are integers where q \neq 0
Q property
has a natural order: given any two rational #’s r and s: r < s, r = s or r > s
set
any collection of objects
element
objects in a set
x ∈ A
x in an element of the set A
x ∉ A
x is not an element of the set A
A U B
union of A and B
x ∈ A U B
x ∈ A or x ∈ B (or both)
A ∩ B
intersection of A and B
x ∈ A ∩ B
x is an element of A and x is an element of B
∅
set with no elements (empty set)
A is a subset of B
every element in A is also an element of B (A ⊆ B)
A = B
A ⊆ B AND B ⊆ A ( A contains B, B contains A meaning they have exactly the same element)
function from A to B
a rule or mapping that takes each element x ∈ A and associates is with a single element in B (f : A -> B)
closed set
a set A ⊆ R is closed if the set A contains all of the limit points
the well ordering principle
every non empty set of N has a smallest element