Changes

<font size="3">&#9758;</font> This page belongs to resource collections on [[Logic Live|Logic]] and [[Inquiry Live|Inquiry]].

<font size="3">&#9758;</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.&nbsp; The following treatment of relation composition takes the &ldquo;strongly typed&rdquo; approach to relations that is outlined in the article on [[relation theory]].

==Preliminaries==

==Preliminaries==