A|U = BlU.o.A = B

[P7.§3P21.P2.Tq :o: A, B, U s G.A-=B.o.A/U-=B/U.I §2P1 :o: P9]

[(aj) Hp. a; «T'(A/U) . y s r(B/U) . Def 1, 2 . PI : o : », «a;, «y e N .

(7w;)U < wA . (wy)U < wB . - =„ A («j) » x,ytli.n, nx, nyi'N. (nx)\3 < nA . (ny)U < «B : o :

(n{x -f- j/))U < n(A -+- B) («) . («J;(«,):o:f(A/U)+r(B/U)of((A-i-B)/U)

(Bi) ' z i i''((A -4- B)U) . Def 1, 2 . PI : o : «, Via f N . (n3)U <

vNiiuy.upjii

;« . ; (^j).Hp. ^fR.n,n0£N.(w2j)U<n(A-h-B).§5P47:o:a?,yfR. m, m&, my f N , a? -h y = , (maj)U < mA . (my)U <

» Def 2 . 1 §4P2 . (a) . [fi], : : r((A -h B)/U)= r(A/U) -4r(B/U) . P2 . Def 1, 2 . Tq : : Ts] I3'..n a ÎT . f€ G/Z« . . (S4Y)/U == S,*»(/]U) [1 . 3 . 4 . 5 . 6 . 7 . 8j

IHp. :o:A=B-^(A-tB).P5, 13:o:A/U=B/U-+-(A— B)U.P2.Tq:o:Ts]