a£N..o.<aA)/(-«U) = A/U [1 .8 .4.&. 6.8J

' - \{ci^) .Hp. » £ T((aA)/(aU)) . Def 1, 2 . PI : a : n, rt« c N . (nupXàU) <

7i(aA) . - =^x A " " ' -

(a^) » « £ R . n, 7MC £ N . (wa?)(aU)-< 7i(oA) . §5 P8, 14, 15 : o :

(7ia?)U < wA

' '(a)'^ (aJ^K):o:r((aA]/(aU))or(A/tJ) ' ;7 "' ^

(Si) » x£ l'(A/U) . Def 1^ 2 . Pi :o: w, waî f N.(^)Ù < nÂ-^o: a

{6^) * aï £ R . n, twc f N . {nx)XS <nA . §5 P3/9, 8 : o^ (na;)(aU)

<w(aA) (fi) ^ (/3,) . (ô,) : : r(A/U) o f ((aA)/(aU)); ' ' ^ '

'^ (a) . (/3) : : r((aA)/(aU)) = r( Af^) • ^e^ j 2 . P2 . Tq:o:1^1 32.;a£R'.o;.(aA)j(aU) = A/U [1 .3.4. 5.6. V-éjj