Line 1: |
Line 1: |
| <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. | | <font size="3">☞</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]]. |
| | | |
− | In logic and mathematics, '''relation composition''', or the composition of [[relation (mathematics)|relations]], is the generalization of function composition, or the composition of functions.
| + | '''Relation composition''', or the composition of [[relation (mathematics)|relations]], is the generalization of function composition, or the composition of functions. The following treatment of relation composition takes the “strongly typed” approach to relations that is outlined in the article on [[relation theory]]. |
| | | |
| ==Preliminaries== | | ==Preliminaries== |
Line 1,345: |
Line 1,345: |
| * [http://semanticweb.org/wiki/Relation_composition Relation Composition], [http://semanticweb.org/ Semantic Web] | | * [http://semanticweb.org/wiki/Relation_composition Relation Composition], [http://semanticweb.org/ Semantic Web] |
| * [http://ref.subwiki.org/wiki/Relation_composition Relation Composition], [http://ref.subwiki.org/ Subject Wikis] | | * [http://ref.subwiki.org/wiki/Relation_composition Relation Composition], [http://ref.subwiki.org/ Subject Wikis] |
| + | * [http://wikinfo.org/w/index.php/Relation_composition Relation Composition], [http://wikinfo.org/w/ Wikinfo] |
| * [http://en.wikiversity.org/wiki/Relation_composition Relation Composition], [http://en.wikiversity.org/ Wikiversity] | | * [http://en.wikiversity.org/wiki/Relation_composition Relation Composition], [http://en.wikiversity.org/ Wikiversity] |
| * [http://beta.wikiversity.org/wiki/Relation_composition Relation Composition], [http://beta.wikiversity.org/ Wikiversity Beta] | | * [http://beta.wikiversity.org/wiki/Relation_composition Relation Composition], [http://beta.wikiversity.org/ Wikiversity Beta] |