Bridge to Abstract Mathematics: Mathematical Proof and Structures

LISTS OF SYMBOLS 381

Logical negation, conjunction, disjunction connectives,
p. 56
Conditional, biconditional connectives, p. 61
ShefTer stroke, p. 76
Propositional function in one or more variables, p. 82

Universal, existential quantifiers (resp.), p. 88

"There exists a unique... ," p. 100

Countably infinite collection of sets, p. 124

Countably infinite union and intersection, p. 125

Limit, as x approaches a, of f(x), p. 129

Matrix A with m rows, n columns, p. 158

Transpose of matrix A, determinant of A, p. 158

Sum of n numbers of a given form, p. 181

6 neighborhood of a real number x, p. 191

Greatest common divisor of integers m and n, p. 218

Identity relation on a set X, p. 232

Congruence modulo m, p. 232

Reflexive, symmetric, etc., properties, p. 232

Inverse of a relation R, p. 233

Equivalence class determined by x, p. 238

Partition of a set, p. 240

The equivalence relation determined on a set A by a

partition q, p. 241

Set of all equivalence classes induced on a set A by an

equivalence relation E, p. 243

Partially ordered set (poset), p. 245

Functional notation, p. 253

Function (or mapping) from domain A to codomain B,

p. 256

Inverse relation to a function f, p. 258

Restriction of a mapping, p. 260

Inclusion mapping, p. 260

Composition of functions or mappings, p. 260

Image and inverse image of a set, p. 270

Numerical equivalence of sets and its negation,

pp. 277-78

Aleph-naught, i.e., the cardinal number of any

countably infinite set, p. 283

Cardinal number of the continuum, p. 283

Cardinal number of A is less than or equal to (resp.,

less than) cardinal number of B, p. 284

Arbitrary collection of sets, p. 290