Changes

It always helps to begin by recalling the pertinent definitions.

It always helps to begin by recalling the pertinent definitions.

For a 2-adic relation ''L'' ⊆ ''X'' × ''Y'', we have:

For a 2-adic relation <math>L \subseteq X \times Y,</math> we have:

: ''L'' is a "function" ''L''&nbsp;:&nbsp;''X''&nbsp;&larr;&nbsp;''Y'' if and only if ''L'' is 1-regular at ''Y''.

L ~\text{is a function}~ L : X \leftarrow Y

& \iff &

L ~\text{is}~ 1\text{-regular at}~ Y.

As for the definition of relational composition, it is enough to consider the coefficient of the composite on an arbitrary ordered pair like ''i'':''j''.

As for the definition of relational composition, it is enough to consider the coefficient of the composite on an arbitrary ordered pair like ''i'':''j''.