Relação (matemática): diferenças entre revisões

Conteúdo apagado Conteúdo adicionado
Picknick (discussão | contribs)
Etiquetas: Edição via dispositivo móvel Edição via aplic. móvel
Picknick (discussão | contribs)
+math display="inline"
Etiquetas: Edição via dispositivo móvel Edição via aplic. móvel
Linha 36:
== Relação Composta ==
 
Seja <math display="inline">R</math> uma relação de <math display="inline">A</math> para <math display="inline">B,</math> e <math display="inline">S</math> uma relação de <math display="inline">B</math> para <math display="inline">C</math>. Então podemos definir a relação composta ''de <math display="inline">S</math> ocom <math display="inline">R'',</math> dedos conjuntos <math display="inline">A</math> paracom <math display="inline">C</math>, usualmente denotada por <math display="inline">S\circ R</math>. Ou seja, comodefine-se:
:<math>S \circ R := \{ (x, z) \in A \times C | \exists y \in B, (x, y) \in R \land (y, z) \in S \}\,</math>
 
:<math>S \circ R = \{ (x, z) \in A \times C | \exists y \in B, (x, y) \in R \land (y, z) \in S \}\,</math>
 
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.