In lieu of an abstract, here is a brief excerpt of the content:

SPECIAL SYMBOL S AN D ABBREVIATIONS The numbers and letters refer to the chapters and sections respectivel y X A Y : conjunctio n X V Y : disjunction ~X : negation .. . X-+Y : conditional X'F' (or X**Y)i'X' implie s «F' .. . 'X'o'Y' (o r XoY): 'X' i s equivalent to ' F ' V : universal quantifie r 3 : existential quantifier xeA : x belongs to A x £ A : x does not belong to A BczA (o r Az>B): A include s B By) (Xy yt z) : ordered tripl e AxB : cartesian produc t prjB, pr 2B: first an d second projection o f relation R aRb : a is B-related to b R'1 : inverse relation o f J? SoR : composition of R and S DA : diagonal o f set A a/R : equivalence clas s of a by R AjR : quotient se t of A b y R ... f: A ->B: mappin g fro m A int o B I m / : image off f(a) : value of / at a f\A' : restriction off t o A' Map(^, F) : set of all mappings from X int o F f[X] : direct image of X unde r / f'x [Y] : inverse image of F under / /_1 [6] : inverse image of {b} under / f~l : inverse mapping off ... LIST O F AXIOM S The number s an d letter s refe r t o the chapter s and section s respectivel y Axiom o f Existenc e Axiom o f Extensio n Axiom o f Specificatio n Axiom o f Pairing .. . Axiom o f Inclusio n Axiom o f Power ...

Share