A£V.a£R.o.a?(aA) = a(a?A) [1 . 3.4. 5. 6. 8j

[(d) Hp. §6Pll:o:aA£V (B) » Tr : : w, Tia £ N . - =^ a

(y) * 71, m f N . P244 : : (x>((na)A) = {na)(ooA) . («).P244 : : n(œ(aA))={7ia){(x>A) . §5P8, 14 : : co(aA) = a(apA) Hp. (a).(^).(r):o:Ts] 24g. A £ V . a £ KR . l'a c Q . . ra?((aA))=a;((ra)A) [1.3.4.5.6.7.8] [(a) Hp. §6Pll.§7P9:o:aAoV.(ra)A£V (ÔJ » X £ V. X < l'(a?(aA)) : : a'£ a . X < <»(a'A).- =«^ A (Ô2) » X £ V. a'£ a . X < a5(a'A) . Tq : o : X < û^((ra)A) (^) - (P^WiU^t) --o: X f V'.X<r(a?(aA)).o. X<a?((ra)A) (rj . X£V'.X<û;((l'a)A).P24,,243:o:âX<(l'a)A:o:

a'£ a . côX < aA . - =a'A (y^) * X £ V. aie a . «X<a'A:o:X<û?(a'A):o:X<r(«(aA)) (r) » (a).(7j.(r,):p:X£V\X<co((ra)A).o.X<r(û;(aA)) » (^) • (y) • §7Def 2 : : Ts] 24,. A £ V. a £ KR . l'a £ Q . . a;((l'a)A) - (l'a)(ajA) [1.3.4.5.6.7.6] [Hp. : : G;(aA)=a(û;A) : : l'(a)(aA))=^l'(a(û;A)).P24e ;o: T&] . 24g. A£V.mfQ.o.a;(mA)==m(a^A) [1.3.4.5.6.7.8]

[Hp. §8P3 . P247 : : Ts] 249. A, B £ V. . A/B = (a;A)/(a?B) [ . ]

[Hp. §9P4 : : A = (A/B)B . §9P2 . P24, , 24^ . §9P24 : : Ts] 24,pva)£(p(i.VV') [1.3.4.5.6,7.8]

[Hp. P259 . PI : : Ts]

26. a £ (V'/V) sira . •. m £ N . X f V . Ox, m : mX f V . V/X s KR . co{mX) =

264, A, B£V.O.A = B. = .a?A = ajB