Depuis l'introduction en mathématique du mot « fonction » et de la notation y = f (x) par Gottfried Wilhelm Leibniz en 1692, à propos de parties de droites dépendant d'un point variable sur une courbe, cette notion, déjà présente implicitement dans la pensée de mathématiciens du xviie siècle comme René Descartes (1596-1650), a été précisée en évoluant vers une plus grande généralité, jusqu'à ce que Maurice Fréchet lui donne en 1909 son aspect définitif, la variable et les valeurs de la fonction appartenant à des ensembles quelconques.
Il s'agit d'exprimer mathématiquement l'idée intuitive d'associer, selon une certaine règle, certains objets avec d'autres ou avec eux-mêmes.
Une fonction étant une correspondance particulière, et certaines fonctions étant des applications, voire des applications particulières que sont les injections, les surjections et les bijections, il faut préciser chacune de ces notions.
Soient E et F deux ensembles, distincts ou non (et quelconques, en particulier finis ou non).
Pour favoriser une compréhension intuitive, supposons que E et F soient des ensembles de personnes humaines et c […]
