Formal Dirichlet-Bourbaki definition of function

What is the formal Dirichlet-Bourbaki definition of a function?

I have come across this in this essay: http://www.k-12prep.math.ttu.edu/journal/contentknowledge/meel01/article.pdf on page 1.

I know what a function is and I can write down a definition. What I would like to know is what the the definition is that is specifically known as the formal Dirichlet-Bourbaki definition.

A function $f:X\rightarrow Y$ is a subset of $X\times Y$ such that $(x,y_1)\in f$ and $(x,y_2)\in f$ implies $y_1=y_2$.

• Thanks for the answer. So you are saying that this definition is what is know as the formal Dirichlet-Bourbaki definition? – Thomas Mar 29 '13 at 1:12
• Yeah, see here: books.google.com/… – Elchanan Solomon Mar 29 '13 at 1:20
• there are many ways to state the same thing. it appears that dirichlet never gave a formal definition of function, while bourbaki gave more than one – suissidle Mar 29 '13 at 1:22
• You left out $\forall x\in X\;\exists y\;(\;(x,y)\in f).$ – DanielWainfleet Apr 7 '16 at 17:55

The term "Dirichlet-Bourbaki definition of a function" appears to be a term used by some primary/secondary-level mathematics educators for the contemporary set-theoretic notion of a function. Here is some information about the definitions of Dirichlet and Dedekind, excerpted from Israel Kleiner's article Evolution of the Function Concept: A Brief Survey. See the full article (free) for much more on the complex history.   • Thanks for this. This is very helpful! – Thomas Mar 29 '13 at 4:21