Las relaciones se pueden combinar de distintas maneras para producir nuevas relaciones. Una de estas maneras es la composicin de relaciones. Definicion: sea R una relacin de X en Y y S una relacin de Y en Z llamamos composicin de R con S a la siguiente relacin de X en Z O sea, S o R = {(x,z)X x Y / yY tal que xRy ySz} X(SoR)z X R
xRy
yY / zRy ySz Y
y
S
ySz
X(SoR)z z x
SoR
Para definir la composicin de R con S es necesario que el conjunto de llegada de R sea igual al conjunto de partida de S. este requisito puede ser aligerado; podemos pedir que el conjunto de llegada de R este contenido en el conjunto de partida de S. Observar que el orden en que se escriben R y S en la composicin de S oR es inverso al orden en que se dan R y S. Ejemplo: sean X={2,3,5}, Y={a,b,c,d} y Z={1,4,9} Si R y S son las relaciones de X en Y y de Y en Z respectivamente, dadas por, R={(2,a),(2,d),(3,c),(5,a)} S={(a,9),(b,1),(d,4)} Entonces SoR={(2,9),(2,4),(5,9)}
R X
S Y Z
2 3 5
a b c d
1 4 9
SoR
Z 1 4 9
2 3 5