Relation composition: Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(New entry, just a stub)
 
imported>Bruce M. Tindall
mNo edit summary
Line 1: Line 1:
{{subpages}}
In [[set theory]], '''composition''' is an operation on [[relation (mathematics)|relations]].   
In [[set theory]], '''composition''' is an operation on [[relation (mathematics)|relations]].   



Revision as of 17:40, 6 February 2009

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and 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

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

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