Dejarr ser una relación de un conjuntoA a un conjuntoB, y dejars ser una relación deB a un conjuntoC. La composición der cons, escrito\(rs\text{,}\...Dejarr ser una relación de un conjuntoA a un conjuntoB, y dejars ser una relación deB a un conjuntoC. La composición der cons, escritors, es el conjunto de pares de la forma(a,c)∈A×C, donde(a,c)∈rs si y solo si existe b∈Btal que(a,b)∈r y(b,c)∈s.
