Definition: | relation f telle que, pour toute entité a, il y a exactement une entité b à laquelle a est reliée par f
NOTE 1 Si a est reliée à b par la fonction f:
- on dit que f est définie pour a,
- a est un argument de la fonction f,
- b est une valeur de la fonction f, généralement notée f(a).
L'argument a peut être un ensemble ordonné d'entités plus élémentaires. NOTE 2 Si A est l'ensemble de tous les arguments de la fonction f et B est un ensemble contenant toutes les valeurs:
- on dit que f est une application de A dans B,
- A est le domaine de définition ou domaine de la fonction,
- B est le domaine but ou codomaine de la fonction.
NOTE 3 Le terme «opération» est employé dans le langage courant pour des fonctions élémentaires telles que addition, soustraction, multiplication, division.
|