TESIS-MAG-0201.pdf

(1 xi)x'4: ((90 104,e, 00,m+n(W4)) A ÇL*:CYm+n,p(W 4)))
152
(3.23)
Donde w4 = (w1 ..... Wm, Wm+ 1'. . . , Wm+n, Wm+n+ 1,... Wm+n+p) es el vector que
pertenece a la asociación resultante del producto de las tres asociaciones y corresponde a
Pero, gracias a la definición 3.6, podemos ver que oO,m+n(W4))—W3). Con
lo cual, gracias a la asociatividad de la concatenación de encabezados y que
,...,,,) y Om.n(W5(i ..... )
,11x(,42x.43)= (9rR4,e,
De las ecuaciones 3.21 y 3.24 se obtiene
de la ecuación ix se tiene que:
(3.24)
Proposición 3.5 : Distribución de la operación de restricción sobre la unión e
intersección.
intersección.
Demostración:
La operación de restricción distribuye sobre las operaciones de unión e
Se demostrará el caso de la unión ya que para el caso de intersección se
demuestra de la misma manera.
Se necesita demostrar que: R (U ') = U t.
Sean '=(?,e,Øt) i=1, . . .,n asociaciones según la definición 3.3. Por las
defmiciones 3.4 y 3.8 se tiene que: