Notion de fonction

Définition

Une relation de A sur B est une fonction si un et un seul élément de B est en relation avec chaque élément de A.

Notation

f: E F
x y = f(x)

f(E) = { y F : y = f(x) avec x E}

f(E) est l'image de E dans F par f

Exemple

"a pour âge" est une fonction de l'ensemble des personnes sur l'ensemble des nombres.

age: Personnes N
x y = age(x)

Exemples de fonctions numériques

f: N N
x y = x + 2
g: N N
x y = x2