A > B . o . «(A — B) = wA — mB

§9- A, B, C, D, U, U'fG.o:

• -[(«i) Tr-:o:a5f K.«,na!f N.rja!<n.-=n,a. A ■ («j) Hp.-sBf R.«,«a;f N.na;<«.U<A.§5P5,ll,12, 13:o: («a;)U < «A U < A . (a,) . (<Xj) :o: a? i R.n, nœ e N.(?îaî)U<wA.-=n,œ a tr > A . Pp8j : : w f N . u < «A . - =» a »fN.Tr:o:a;fR.7tsc = l.- =«; a a!«R.waN.U<wA. «a;=l . §5 P5, 11 :o: (na;)U<«A U>A.^5j).(jSj).(â3):o:a; f R.w, nx e N.(na;)U<«A. -=»,<»,• a («) . (8) . Pp5 : : Ts]

(et)

2, A/UfQ

•£(«) Hp. Def 1, 2. PI :o:a; s r(A/U) . w, ««c £ N . (wa3)U<wA . - =», x a

?i £ N . §5P31 : : m f N . wA < mlJ . - =,h a

fiC f R . wi, w, »a? £ N . (7ia?)U < tiA < mil . §3P1, 2 :o: (7ix')U

< mil . §5P16, 17 : b : Tia? < m . Tr : : a? < — •

(a).(/3).(7) . Tr : .-. 7i £ R . r(A/U) r^ (7i -+- R) ^ a : - =-/i a * (5) . Tq : : Ts] ,3.. f(A/U) =^ Eo'^f (œU < A) • [1 . 3 . 4. 5 . 6 . 8J

l(*i) Hp. X £ R.œ £ r(A/U) . Def 1, 2 : o : ?i, na? £ N.(72:a?)U<wA.-=HA

X e R.n, TU» £ 'N.{nx)\J<nA. §6P18, 23, 24 : o : aîU<A

(a J.(«g) : : a? £ R . a? £ l'(A|U) . o . aî £ (R ^ ^ (i»U <A))

» £ (Rr^ i^ (a;U<A)).7i, wa? £ N.§5P3,9.§(iP18:o:(naî)U<A

a? £ E : Tr : : 71, naî £ N . - =,» a

(^i) . (^2) : 0: a? £ (R o ;^ (aîU < A)) . , a? £ r(A/U)

(a).(â).I§4P2:o:Ts]

4 — 2''ormi*<.

H^mt*m'

[(«) Hp. P2 , §8P1 : : (A/U)U £ G .

(/3 J » («) , X f G . X < (AIU)U . Def 1, 2 . P3 : o : a; ^ F(A/U) ,

X<a;U.-=a;A (,S,) . XaG.iK£r(A/U).X<a;U.P3:o:X<A (S) » («i).(;gi,):o:X£G,X<(AJD)U.o.X<A (y,) . XfG.X<A,§6P29:o:a?f R.X<aîU<A.-=a,A (yj) . X£G.a!fR.X<a;U<A:o:X<l'{(r(A|U))U} ' (y) - (ri).(yî):o:X5G.X<A.o.X<(A|U)U . (<x) . (/3) . (y) . Defl, 2 . §8Def2 :p : Ts]