Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell.

536

536 ~~PROLEGOMENA TO CARDINAL ARITHMETIC [ATI

[PART II

*83-58. IF. E,&'K SM EA'(K -1
Dern.
F. *24-41-21.*22-4,8. F. K=(K-I)vU(Ki ).QK-l) A (K I)==A.KnICI (1)
F. (1). *83-57. ) F. Prop
This proposition shows that in a product any number of factors each
equal to 1 may be omnitted without altering the value of the product.
The following propositions, down to *88-74, are concerned with the
domains of selective relations, i.e. with the selected classes.
*83-6. F: REE4'K. aEK. a! n D'R
Dent.
F. *83-2.) FHp. D. R'a eca.
[*10-24] D. a! a D'R: DF.Prop
*83-61. F:RE 64'K. aGK ar AS'(K - a) = A. D.a nD'R = t'R'a
Dern.
F.*40-27. D F:. a rn S'(K - t'a)=A. /-:3 K - '.),s. a ri, 3=~ A:
[*13-195.*22-5].a eK. X=ft'a. WRa ea.
[Hp.*4-73.*83-2] *x =.RWa (2)
F(2).*'5"I-115.)D Prop
*83-62. F: E D"ea'KD./). tC SK [*83-21.*37-63]
*83-63. F: SCK rn s'X = A., e D"e4'(K U. X). /Zr ). ~ e' /kr 8~~c'
Dent.
F. *80-62. )F: IIEE4'(K VX).)M rK 6EE'K.Al 6XEE4'X,. (1)
[*83-21]:).D'MrKCS'K.D'MffXCS'X, (2)
DM If] = (D'M r KU D'v x '.DM 1)M. '~~ 8
[*33-26.*35&412.*80-29].D,'Mr K= D'M- s'X. D'M X = D'M- SK.
[*24-491] ) D'M[~K= D'M ns'K.D'MrX=D'Mrns'X (3)
F. (1). (3). *37-6.) F Hp. ):
ME e4&'(K 'J X).)D. I)'M A S'K e D)"e4&'K. 1)'M A sXe 1
[*37'63]:):peD"e4'(K v X)../A'KC D"e4'K. fZns'XEl)"Ie4'X:.) F.~ Prop