Terms
Meaning
Section
Sets, Proof Templates, and Induction
x e A
x is an element ofA
1.1
x f A
x is not an element ofA
1.1
Ix x E A and P(x)}
Set notation
1.1
N
Natural numbers
1.1.1l
2
Integers
1.1.1
Q
Rationals
1.1.1
R
Real numbers
I.1.1
A = B
Sets A and B are equal
1.1.3
A C B
A is a subset of B
1.1.5
A g B
A is nota subset of B
1.1.5
A C B
A is a proper subset of B
1.1.5
A 5 B
A is nota proper subset of B
1.1.5
b=•a
bimplies a
i.1.5
a
b
a if and only if b
1.1.5
AUB
A union B
1.3.1
AFnB
A intersect B
1.3.1
UX
Generalized union of family of sets X
1.3.1
nX
Generalized intersection of family of sets X
1.3.1
Um Xi
Xm U ... UXn
1.3.1
nt=Mxi
Xm n ... n Xn
1.3.1
A - B
Elements of A not in B
1.3.2
A
Elements not in A
1.3.2
A D B
(A U B) - (A n B)
1.3.2
P(X)
Power set of X
1.3.4
X x Y
Product of X and Y
1.3.4
x A y
Meet ofx and y
1.3.5
x v y
Join ofx and y
1.3.5
-x
Complement of x
1.3.5
T
Top
1.15
I
Bottom
1.3.5
JAI
Cardinality of A
1.5.1
Si
a,, + " -". + a,,
1.7.1