Mathématiques, informatique, politique et poésie
Une relation binaire de E dans F est une application si et seulement si \(\forall x \in E \forall y, z \in F(x R y \land x R z \implies y=z)\). L'ensemble des applications de \(E\) dans \(F\) se note \(\mathcal{F}(E,F)\) ou \(F^E\).
En nommant cette application \(f\), on notera \(f(x)=y\) pour \(x R y\).