a £ N . . A/(aU) = — (A/U) ^ [LE. 4.5-6. "Sj
Vï. -§Ô.
- EHp.' P31, 15 : : a(-A/(aU)) = A/U . P2 . Tq : 5 j Ta] 35, ofR.o.A/(aU) = — (A/U)' ' ' [1 .3 .4.5. 6.8j.8J
se. ore Q . . A|(at) = —.(A/0) [1 • 3 . 4 . S . 6 . » .^)
[(a,) Hp. a e f(A/B) . 6 s r(B/U) . Def 1, 2 . PI . Tr : o : «, ïmï, w6 £ N.
(»i<i)B < «A . (n*)U < «B . - =„ A («çj) » o, 6 e R . ra, Tta, «6 « N . («a)B < «A . («6)U
< «B . §5P3, 9, 8 . §3P1, 2 . tr : : (««a6)U < n«A (a) , («,^ (a,) : : { r(A/B) } X { r(B/U) ] 6 r(A^)
(ÔJ . c £ r(A/U) . Def 1, 2 : : «, ne £ N . (mc)U < «A . - =„ À • (iS,) » c£R.», ne £N,(nc)U.< A. §5P33:o:w', m £N.(n'«c)U
< mB < (n'n)A . - ==„-, », a
((83) », c £ R . w, ne, n', m £ N . (n'ne)U < mB •< (to'to)A . Tn. Tr.
85P4 , 83P1 : : (m ^^lu < mB . in'n^]B < (n'n)A 'W » (/8,).(-e,).('83).Tr.:o:c£r(A/U),o.y,3£R.ys = c.
(ô) . (ô,):o:r(A/U)o{r(A/B)|X{r(B/U)j • •■•«•(«). (iS) : r { l'(A/B) } X (^'(B/U) ) = IXA/U) . Def 1, 2 . PS . Tq:o:T8] 87'. Âp = (A/tT)p/U) , 37". « £ 2 -H N . /'£ G/Z, . . n^~' { (fr)j(fir -+- 1)) }