au sommaire
Correspondance entre un ensemble A et un ensemble B, telle que à tout élément de A on associe au plus un élément de B.
Exemple : la relation qui à tout nombre réel x associe son carré x2 est une fonction de l'ensemble des nombres réels dans lui-même.