INDEX
IN DEX The number s an d letter s refe r t o th e chapter s an d section s respectivel y associative la w I H , 2F , 2 G axiom 2 A axiom o f existenc e 2 A axiom o f extensio n 2 B axiom o f inclusio n 2 G axiom o f pairin g 2 E axiom o f powe r 2 1 axiom o f specificatio n 2 C belonging 2 A biconditional 1 G bijective mappin g 4 D binary compositio n I D cancellable 4 D cartesian produc t 3 B characteristic functio n 4 F closed se t 2 K commutative la w I H , 2F , 2 G compatible 4 E complement 2 H component I B composition 3D , 4 B conditional I E conjunction I B consequent I E constant mappin g 4 A contain 2 A continuous mappin g 4 F contrapositive inferenc e I K coordinates 3 A factorization o f mapping s 4 E falsehood I A follow I K function 4 A graph 3 C Halmos, P . R . 1 G hypothesis I E hypothetical syllogis m I K identity mappin g 4 A if an d onl y i f 1 G if—then I E ifflG image 4 A implication I K imply I K include 2 C inclusion 2 C inclusion mappin g 4 A injective mapping s 4 D intersection 2F , 2 J inverse imag e 4 C inverse mappin g 4 D inverse relatio n 3 D invertible mappin g 4 D iterated compositio n 1 G De Morgan' s law s IH , 2 H declarative sentenc e I A denial I D Descartes, Ren e 3 B diagonal o f a se t 3 E direct imag e 4 C disjoint set s 2 F disjunction 1 C distributive la w IH , 2 G domain 4 A element o f a se t 2 A empty se t 2 C equality 2 A equivalence clas s 3 E equivalence relatio n 3 E equivalent formula e I H existential quantifie r 1 L extension o f a mappin g 4 A joint negatio n 1 M law o f inferenc e I K map 4 A mapping 4 A member o f a se t 2 A modus ponen s I K modus tollen s I K name 1 J natural surjectio n 4 E negation I D neighbourhood 2 K non-empty se t 2 C not I D 68 null relatio n 3 F null se t 2 C object 2 A one-to-one mappin g 4 D one-to-one correspondenc e 4 D only i f I E onto mappin g 4 D open se t 2 K or 1 C ordered n-tuple s 3A , 3 F ordered pai r 3 A ordered tripl e 3 A partition 2J , 3 E points 2 K postulate 2 A power se t 2 1 predicate calculu s 1 L preimage unde r a mappin g 4 A product topolog y 3 F projection 3 C proper subse t 2 C proposition IA , I K propositional calculu s I A quotient se t 3 E quotient topolog y 3 F range 4 A reflexive relatio n 3 E relation 3 C representative o f a n equivalenc e c l restriction o f a mappin g 4 A INDEX set 2 A set o f departur e 3 C set o f destinatio n 3 C singleton 2 E singulary compositio n I D statement I A statement calculu s I A statement formul a I H statement functio n 1 L subset 2 C surjective mappin g 4 D symmetric relatio n 3 E ternary relatio n 3 F topological spac e 2 K topology 2 K transitive relatio n 3 E truth I A truth functio n I H truth functiona l compositio n I F truth tabl e I B truth valu e I A unary compositio n I D undefined concep t 2 A union 2G , 2 J universal quantifie r 1 L unordered pai r 2 E usual topolog y 2 K valid formul a I I value unde r a mappin g 4 A 3E Ven n diagra m 2 D void se t 2 C ...
OR
