Changes

|}

|}

When a relation happens to be a function, it may be excusable to use the same name for it in both applications, writing out explicit type markers like ''P'' : ''X'' × ''Y'', ''P'' : ''X'' → ''Y'', ''P'' : ''X'' ← ''Y'', as the case may be, when and if it serves to clarify matters.

When a relation happens to be a function, it may be excusable to use the same name for it in both applications, writing out explicit type markers like <math>P : X \times Y,</math>&nbsp;&nbsp; <math>P : X \to Y,</math>&nbsp;&nbsp; <math>P : X \leftarrow Y,</math> as the case may be, when and if it serves to clarify matters.

From this current, perhaps transient, perspective, it appears that our next task is to examine how the known properties of relations are modified when an aspect of functionality is spied in the mix.

From this current, perhaps transient, perspective, it appears that our next task is to examine how the known properties of relations are modified when an aspect of functionality is spied in the mix.