1549901369-Elements_of_Real_Analysis__Denlinger_

720 Glossary of Symbols

LOGIC

Symbol Meaning

/\, V and, or

::::} implies (if ... then ... )

~ the converse of ::::}

¢:? if and only if (iff)

not

is logically equivalent to

\Ix for all x

:J x 3 there exists an x such that

Symbol Meaning

SETS

E belongs to (is a member of)

{a,b,c,· · ·} set containing a, b, c, · · ·

{x: P(x)} set of all x such that P(x)

u, n union, intersection

Ac complement of A

B-A complement of A in B

u the universal set

0 the empty set

c is a subset of

Defined on page

584 - 585

586 - 587

593

587 - 588

588

590 - 591

597 - 598

598 - 599

Defined on page

613

613

614

614 - 617

614 - 617

614 - 617

614

614

615

{A>.: .>-E A} family of sets A>., indexed by .>-E A 617

U>.EAA>. union of sets A>., .>-E A^617

n>.EA A>. intersection of sets A>., A E A^617

As:! B A and B are equivalent sets. 126

x+A {x +a: a EA} 357

xA {xa: a EA} 357

• A {-a: a EA} 357
  A+B {a+b:aEA, bEB} 358