Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

I have come across this in this essay: 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.

share|cite|improve this question
up vote 6 down vote accepted

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$.

See for example here:

share|cite|improve this answer
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:… – 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
You left out $\forall x\in X\;\exists y\;(\;(x,y)\in f).$ – user254665 Apr 7 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.

enter image description here enter image description here

enter image description here

share|cite|improve this answer
Thanks for this. This is very helpful! – Thomas Mar 29 '13 at 4:21

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.