Sea una relación de A en B y una relación de B en C. La composición de y es una relación consistente de los pares ordenados (a, c), donde a A y c C y para los cuales existe un b B tal que (a, b) y (b, c) , es decir a b y b c.
La composicón se denota por , si y son relaciones.
Ejemplos:
a) Sea A={1, 2, 3}, B={1, 2, 3, 4} y C={0, 1, 2} y sean
={(1, 1), (1, 4), (2, 3), (3, 1), (3, 4)}
={(1 ,0),(2, 0), (3, 1), (3, 2), (4, 1)}
Entonces ={(1, 0), (3, 0), (1, 1), (3, 1), (2, 1), (2, 2)}
b) Sean A={1, 2, 3}, B={2, 4, 6, 8} C={s, t, u} y sean
={(1, 2), (1, 6), (2, 4), (3, 4), (3, 6), (3, 8)}
={(2, u), (4, s), (4, t), (6, t), (8, u)}
Entonces ={(1, u), (1, t), (2, s), (2, t), (3, s), (3, t), (3, u)}
c) Sean A={a, b, c, d}, B={s, t, u, v} C={1, 2, 3, 4, 5} y sean
={(a, s), (a, t), (c, v), (d, u)}
={(s, 2), (t, 1), (t, 4), (u, 3)}
Entonces ={(a, 1), (a, 2), (a, 4), (d, 3)}
y graficamente se puede representar como
NOTA:
Generalizando:
Sean una relación de A en B, una relación de B en C y una relación de C en D.
La composición de , y es una relación consistente de los pares ordenados (a, d), donde a A y d D y para los cuales existen un b B y un c C tal que (a, b) , (b, c) y (c, d) , es decir a b, b c y c d.
Lo anterior se puede denotar como (), si , y son relaciones.
Además se tiene que () = ()