Key Words and Notations
Key Words and Notations
1
Commonly used words
General
Addition, sum, subtraction, product, multiplication, division, partition, x times y, x over
y, x to the power of y, equation, inequality, statement, claim, proposition, theorem, proof,
to prove, to show, to denote, notation, collection, contradiction, direct, induction, combi-
natorics, implication, application, greater than, greater than or equal, less than, less than
or equal, x squared, x cubed, square root of x, cube root of x, root of order n of x, as-
sumption, suppose, possibility, probability, identity, triangle, trivial, formula, diagonal, to
declare, denition, even, odd, divisible, remainder, observation, property, innity, prime,
composite, remark, fundamental, theorem, arithmetic, to compute, to provide, counter,
counter example, participate, process, for instance, because, since, positive, negative, ob-
vious.
Set theory
set, rational, irrational, natural, integer, real number, subset, contains, element, proper
subset, yields, union, intersection, diagram, dierence, complement, symmetric, double,
relation, domain, codomain, range, image, assign, represent, map, curve, graph, source,
distinct, separate, to compose, invertible, inverse, to construct, to suggest, indicate, piece-
wise, elementary.
Mathematical logic
for all, for any, for every, there exists, hypothesis, sucient condition, necessary condition,
to compose, to decompose, value, table, conjunction, disjunction, operator, binary, ex-
clusive, inclusive, negation, conditional, biconditional, contra-positive, inverse, converse,
algorithm.
Calculus
index, indices, interval, input, output, variable, dependent, independent, generally, for-
mal, non-formal, intuitive, limit, sequence, series, common, phenomenon, to approxi-
mate, distance, innitely many, increasing, decreasing, monotonic, descending, ascend-
ing, draft, arbitrarily, tends to, approaches to, neighborhood, punctured interval, bound,
upper bound, lower bound, continuous, dierentiable, removable, essential, derivative,
slop, gradually, pointwise, convergence, divergence, chain, primitive function, denite,
indenite, integrable, trigonometric.