Changes

===Commentary Note 11.12===

===Commentary Note 11.12===

Since functions are special cases of 2-adic relations, and since the space of 2-adic relations is closed under relational composition, in other words, the composition of a couple of 2-adic relations is again a 2-adic relation, we know that the relational composition of a couple of functions has to be a 2-adic relation.  If it is also necessarily a function, then we would be justified in speaking of "functional composition", and also of saying that the space of functions is closed under this functional form of composition.

Since functions are special cases of 2-adic relations, and since the space

of 2-adic relations is closed under relational composition, in other words,

the composition of a couple of 2-adic relations is again a 2-adic relation,

we know that the relational composition of a couple of functions has to be

a 2-adic relation.  If it is also necessarily a function, then we would be

justified in speaking of "functional composition", and also of 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

Just for novelty's sake, let's try to prove this for relations that are functional on correlates.

for relations that are functional on correlates.

So our task is this:  Given a couple of 2-adic relations,

So our task is this:  Given a couple of 2-adic relations, ''P'' ⊆ ''X'' × ''Y'' and ''Q'' ⊆ ''Y'' × ''Z'', that are functional on correlates,

P c X x Y and Q c Y x Z, that are functional on correlates,

''P'' : ''X'' ← ''Y'' and ''Q'' : ''Y'' ← ''Z'', we need to determine whether the relational composition ''P'' o ''Q'' ⊆ ''X'' × ''Z'' is also ''P'' o ''Q'' : ''X'' ← ''Z'', or not.

P : X <- Y and Q : Y <- Z, we need to determine whether the

relational composition P o Q c X x Z is also P o Q : X <- Z,

or not.

It always helps to begin by recalling the pertinent definitions.

It always helps to begin by recalling the pertinent definitions.