# Advantages of considering a function as a set

Can anyone give me some reference (could be a book, paper, or even notes), in which the author writes about the advantages of defining a function as a set for mathematics in general?

Let $f(x) = x + 1$ be the law of a function.

Let $X \times Y \neq \varnothing$

(a) We can write $f = \{(x; x+1) : x \in X\}$

(b) The fact is that, without this language we can understand a function as a simple law that associates a number to another, or even in more informal ways as a machine that transforms nunbers.

I need a material that shows why (a) it's better than (b) for mathematics in general.

• What is $Y$ in your question? Dec 5, 2015 at 17:31
• I just wanted to show that the function emerges of the Cartesian product of this two sets $X$ and $Y$. or $f \subset X \times Y$. Dec 5, 2015 at 17:37
• Economy of thought. We can start from function as primitive; see Category Theory. Dec 5, 2015 at 17:39
• When you write the function as a set of tuples or vectors this is named, in some books, the graph of the function $f$, not the function itself. Dec 5, 2015 at 18:21
• So you are saying that in this case $Y=\{x+1\mid x\in X\}$? Or $Y=\Bbb R$ or $\Bbb C$? In some definitions of function, that matters. That shows why a formal, clear definition is necessary. Dec 5, 2015 at 18:25

You can see :

We prefer, however, to axiomatize not "set" but "function". The latter notion certainly includes the former. [...] We consider two domains of objects, that of " arguments" and that of" functions". (Both words are, of course, to be taken in a purely formal way, as if they had no meaning.) The two domains are not identical, but they partly overlap. (There are "argument-functions", which belong to both domains.)

Now a two-variable operation $[x,y]$ (read "the value of the function $x$ for the argument $y$"), whose first variable $x$ must always be a "function" and whose second variable $y$ must always be an "argument", is defined in these domains. What is formed by means of it is always an "argument", $[x,y]$.

The operation $[x,y]$ corresponds to a procedure that is that is encountered everywhere in mathematics, namely, the formation, from a function $f$ (which must be carefully distinguished from its values $f(x)$!) and an argument $x$, of the value $f(x)$ of the function $f$ for the argument $x$. Instead of $f(x)$ we write $[f,x]$.

The lambda calculus is a type free theory about functions as rules, rather than as graphs. "Functions as rules" is the old fashioned notion of function and refers to the process of going from argument to value, a process coded by a definition. The idea, usually attributed to Dirichlet, that functions could also be considered as graphs, that is, as sets of pairs of argument and value, was an important mathematical contribution. Nevertheless the $\lambda$-calculus regards functions again as rules in order to stress their computational aspects.

For Category theory, you can see :

What is category theory? As a first approximation, one could say that category theory is the mathematical study of (abstract) algebras of functions.

We begin by considering functions between sets. I am not going to say here what a function is, anymore than what a set is. Instead, we will assume a working knowledge of these terms. They can in fact be defined using category theory, but that is not our purpose here.

This is so deeply ingrained since the early 20th century that it is hardly ever argued explicitly anymore. For one thing, it does away with the logical absurdities that arise from such horrible concepts as "multivalued functions". It is very hard to keep a consistent notation if you start from a general relationship (such as an algebraic equation in $x$ and $y$) and try to prove that it actually defines a function $y=f(x)$ unless you somehow identify functions with their graphs.

Please note that the usual definition of a relation (function or otherwise) is not that is is a graph: to be consistent the definition is an ordered triplet consisting of two sets and a subset of their cartesian product.