36 pitcher: interrelations of 



element of ^ and if any function n on ^ has the property Ki<7 where a 

 is any second function on "ij? then n,,^ — 0. 

 We define a reduced class '^r of ^^3, 



where © is a subclass of ^ and 



Relative to this situation we have the following propositions: 

 (2) 2»J^'.M.s.^.Ms = 0; 



(3) 



(4)* a)j'^'\3.A'''*\ 



Consider also a development A^ of "^r, defined as in § 22. We 

 have the following propositions as to properties A; K^; K.,; K^^; K.,^; 

 i^,2* of 5DJ relative to A and the same properties of d)lji relative to A^. 



(5) 93?'^' . z. . 9??/'. 



(6) W': ^ : m^ . -^ . ^Ir\ 



(7)t 9)2^'' . 3 © . 3 . a)r'^x 



(8) 9JJ^'^ : 3 : 93?'^'= . ~ . Wr"' . 932'^" . ~ . m^'''^ . m"^'- . - . 9)?,,^"\ 

 Propositions (9) and (10) are relative to a class ^]? = 9i + ®. 



(11)§ A«« . m'^'^' . o . U I r^)'""^''". 



35. Through the propositions §23al6; §29.6; §27.10; §20a2'; 

 §20a2; §29.5; § 18o2, 3; §291; § 9o5 we are led to the following 

 propositions : 



^' . A'"^' . 93?'"''^''''' . W ■ W''"'''.^ . (WW):^ = [all ^^i':»'(™").^o5»'W] 

 ^^^ =[aii^Jf.2'-s''<»;").i!,3"(y)j_ 



* Ar,(5) . = . A 5 ( 3 mo 5 m > ?«o . 3 . S-"). Cf. § 22. 



t That is, in case the class @ is really an existent class, the class 9Ji cannot have the 

 property K,,. 

 tCf. §32.7. 

 § Cf. § 32.1. 



