Relation composition

From Citizendium, the Citizens' Compendium

Jump to: navigation, search


This article is a stub and thus not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
 
http://en.citizendium.org/wiki?title=Relation_composition&printable=yes
This is a draft article, under development and not meant to be cited but you can help to improve it. These unapproved articles are subject to a disclaimer.

In set theory, composition is an operation on relations.

Let R be a relation between X and Y and S a relation S between Y and Z. The composite relation R.S between X and Z is defined by

x ~{R\circ S}~ z \Leftrightarrow \exists y \in Y, x R y \mbox{ and } y S z .\,

If we equate a relation with its graph, then we may write

R \circ S = \{ (x,z) \in X \times Z : \exists y \in Y, ~ (x,y) \in R \hbox{ and } (y,z) \in S \} . \,

Function composition may be regarded as relation composition on functional relations.

Retrieved from "http://en.citizendium.org/wiki/Relation_composition"
Views
Personal tools