Since functions are special cases of dyadic relations and since the space of dyadic relations is closed under relational composition — that is, the composition of two dyadic relations is again a dyadic relation — we know that the relational composition of two functions has to be a dyadic relation. If the relational composition of two functions is necessarily a function, too, then we would be justified in speaking of functional composition and also in saying that the space of functions is closed under this functional form of composition.
Just for novelty’s sake, let’s try to prove this for relations that are functional on correlates.
The task is this — We are given a pair of dyadic relations:
The dyadic relations and
are assumed to be functional on correlates, a premiss that we express as follows:
We are charged with deciding whether the relational composition is also functional on correlates, in symbols, whether
It always helps to begin by recalling the pertinent definitions:
For a dyadic relation we have:
As for the definition of relational composition, it is enough to consider the coefficient of the composite relation on an arbitrary ordered pair, For that, we have the following formula, where the summation indicated is logical disjunction:
So let’s begin.
or the fact that
means that there is exactly one ordered pair
for each
or the fact that
means that there is exactly one ordered pair
for each
As a result, there is exactly one ordered pair for each
which means that
and so we have the function
And we are done.
Pingback: Survey of Relation Theory • 3 | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Overview | Inquiry Into Inquiry
Pingback: Peirce’s 1870 “Logic Of Relatives” • Comment 1 | Inquiry Into Inquiry
Pingback: Survey of Relation Theory • 4 | Inquiry Into Inquiry