Abstract Mathematics Glossary

absolute value
aleph null
anchor (of induction)
antisymmetric relation
arithmetic mean
associative laws
asymmetric relation
axiom
basis step (of induction)
biconditional
bijective function
binary relation
cardinality (of a set)
Cartesian product (of two sets)
characterization
commutative laws
complement
complex number
composite number
composition (of functions)
compound statement
conclusion
conditional statement
congruence modulo n
conjecture
conjunction (of two statements)
continuous function
continuum hypothesis
contradiction
convergent series
converse (of a statement)
corollary
countable (set)
counterexample
De Morgan's laws
declarative sentence
definition
denumerable (set)
difference (of two sets)
differentiable function

disjoint sets
disjunction (of two statements)
distributive laws
divergent series
divides
domain (of a function)
domain (of a relation)
domain (of a variable in an open sentence)
element (of a set)
empty set
end (of a proof)
equality (of two sets)
equivalence class
equivalence relation
Euclid's Lemma
even integer
exclusive or
existence proof
existential quantifier
Fibonnaci number
finite set
function (from one set to another)
Fundamental Theorem of Arithmetic
geometric mean
Goldbach's Conjecture
identity (function)
if and only if
image of a set
image of an element
implication
implies
index set
indexed collections of sets
inductive hypothesis
inductive step
infinite sequence
infinite series
infinite set
injective function
integer

integers modulo n
intermediate value theorem
intersection (of two sets)
inverse (of a function)
inverse (of a relation)
inverse (of a statement)
irrational number
irreflexive relation
lemma
logical equivalence
map
mapping
member (of a set)
modus ponens
natural number
necessary condition
negation (of a statement)
negatively transitive relation
null set
numerical equivalence
odd integer
one-to-one correspondence
one-to-one function
only if
onto function
open sentence
opposite parity
ordered pair
pairwise disjoint sets
partial order
partial sum (of a sequence)
partition (of a set)
permutation
power set
prime factorization
prime number
prime twin
proof by cases
proof by contradiction
proof by contrapositive

proof by minimum counterexample

proper subset
proposition
qed
quotient
range (of a function)
range (of a relation)
rational number
real number
recurrence relation
reflexive relation
relation (from one set to another)
relation (on a single set)
relative complement
remainder
residue class
restriction (of a function)
same parity
Schroeder-Bernstein Theorem
sets of same cardinality
strong induction
sufficient condition
surjective function
symmetric relation
tautology
theorem
transitive relation
triangle inequality
trivial proof
truth table
uncountable (set)
union (of two sets)
uniqueness proof
universal quantifier
universal set
vacuous proof
vacuously true
weak induction
without loss of generality
wlog