Discussão:Relação composta

Fiz o REDIRECT porque o texto do artigo foi copiado do outro e nenhuma informação nova foi acrescentada. Merrill (discussão) 11h44min de 17 de Março de 2008 (UTC)

"Seja R uma relação de A para B, e S uma relação de B para C. Então podemos definir a relação composta S o R ou S(R), de A para C, como:

$SoR=\{(x,z)\in A\times C|\exists y\in B,(x,y)\in R\land (y,z)\in S\}\,$

Um cuidado deve ser tomado com essa notação, que é consistente com a notação de função composta, porque S e R parecem estar invertidas."