Skip to main content

Appendix A Notation

Symbol Description Location
xS x is an element of S Paragraph
xS x is not an element of S Paragraph
{xS:P(x)} x in S such that x has property P Paragraph
AS A is a subset of S Definition 1.2.2
AS A is not a subset of S Paragraph
R the set of real numbers Item
Z the set of integers Item
Q the set of rational numbers Item
N the set of natural numbers Item
Z+ the set of positive integers Item
Znonneg the set of nonnegative integers Item
R+ the set of positive real numbers Item
Rnonneg the set of nonnegative real numbers Item
A×B the product of A and B; {(a,b):aA,bB} Definition 1.2.6
aRb a is related to b Paragraph
p not p Item
pq p and q Item
pq p or q Item
t a statement that is always true; tautology Paragraph
c a statement that is always false; contradiction Paragraph
PQ P is logically equivalent to Q Definition 2.1.10
pq if p then q Item
therefore Assemblage
for all; universal quantifier Item
there exists; existential quantifier Item
Q the set of ratioanl numbers Definition 4.2.1
RQ the set of irratioanl numbers Definition 4.2.2
dn d divides n Paragraph
d does not divide n Paragraph
n div d quotient when n is divided by d Paragraph
n mod d remainder when n is divided by d Paragraph
k=1nak the sum of ak from k=1 to n Assemblage
k=1nak Paragraph
(nr) n choose r Definition 5.1.6
AB A union B Definition 6.1.4
AB A intersect B Definition 6.1.6
AB A minus B; the difference of set A and B Definition 6.1.8
AC the complement of A Definition 6.1.10
i=1nAi the union A1A2An Paragraph
i=1nAi the intersection A1A2An Paragraph
P(A) the power set of A Definition 6.1.13
\Leftrigharrow if and only if in proofs Paragraph
|S| the number of elements in S Paragraph
Im(f) the image of f Definition 7.1.6
f1(x) the inverse of function f Theorem 7.2.13
xRy x is related to y Paragraph
mnmodd m is congruent to n mod d; d(mn) Paragraph
[a] the equivalence class of a Paragraph
P(n,r) the number of r-permutations from a set of n elements Definition 9.2.8
(nr) n choose r Definition 9.5.1