# 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/… –  Isaac 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
Thanks for the answer. –  Thomas Mar 29 '13 at 1:49