Terme : applicatif ...

Une application
(ou fonction) f est la donnée de deux
ensembles, l'ensemble de départ E et
l'ensemble d'arrivée F, et d'une
relation associant à chaque élément x
(sans connotation) de l'ensemble de
départ UN ET UN SEUL élément de
l'ensemble d'arrivée, que l'on appelle
image de x par f et que l'on note f(x).

Exemple : un baiser applicatif
à l'image d'un couple (et pas d'une tribu,
ni d'une relation tributaire

Exercice pratique : work in progress).