LE CLASSI FINITE 5l 



16. rcKiuf . j .u < V p] 



17. reKfin . . i< u ceKfin [I] 



18. t'€K{Kfin). veKfin.o.u'vcKfin [I] 



§ 4- 



1. (') i/, jeKfin -iA.O:N'« = N'y. = . M^t' Def 



2 Mr>i'=A-0-N'M + N'i;=N'(Muz)) Def 



3. l=i(N'Un) Def 



4. M elv fin -i V . re seq « . . N' r = N' « -|- 1 



[ Hp . § 1 P 13 : : f - «elTn . P2, 3 : : Ts] 



5. N = N-(Kfin-iA) Def 



6. l€N [§1P15.§2P4.P1,3.0.P6] 



7. x€N.a;+l = l.=,A [§2P14 . P2,4 . . P7] 



8. Kinf-=A.O: 

 8:. N+loN 



[Hp : : MeKfin-iA ■ Ou • seqw -=A • P4 : Q :xeN.Qi. 

 x+leN:0:P8,] 



82. a. òeN .a = b.^.a + l=b-lrl 

 [Hp.§lPll.P2,4.o.Ts] 



83. a, èeN .a + l = è+1.0.a — è 

 [Hp.§lP12.P2,4.o.Ts] 



84. weKN. lew . M -|- lOM.O . Nqm [I] 

 [Hp.§3P14.Pl,2.4.o.P8,] 



(') Essendo u una classe finita e non nulla, scriviamo N' u al posto di 

 ' numero degli « ,. Dicendo, con la PI, che N'« = N'(: quando «co t' am- 

 mettiamo essere N' u un ente astratto funzione di « e che u ha a comune 

 con tutte le classi ad essa equivalenti. 



