Functional Relation

A Relation is functional if it is both a Total Relation and a Partial Functional Relation.

In an Allegory

We can interpret this definition in any Allegory as

• $\mathrm{id}\leq R^{\dagger}\circ R$
• $R\circ R^{\dagger}\leq\mathrm{id}$