The notion of a function is one of the most basic in Mathematics. A set can be identified with its characteristic function. On the other hand, functions are defined in terms of sets. For various reasons, among which historical are not the least important, mathematicians use many terms to describe essentially the same concept. Following is the list of competing terms:

• function
• association
• correspondence
• transformation
• mapping
• relation (multi-valued function)
• operator
• functional

Furthermore, there are numerous terms (vector, sequence, measure, length, volume, etc.) that are functions in disguise and their functional ancestry is seldom mentioned.

To define a function one needs three elements:

1. a domain where the function is defined,
2. a region from where the function draws its values, and
3. a rule that associates points from the domain with points from the region.

For a function f from a domain X to a region Y we use the following notation:

This is the only notation that refers to all three elements of the function definition. The rule, the third element, is hinted at implicitly by the function name f. Two functions with the same domain and region but defined by different rules, will be distinguished by different function names. We already had one definition

The word association is not often used as a substitute for a function perhaps because it's judged to be more vague or fundamental than function. The word correspondence is mostly used in a set-theoretical context when we talk of a 1-1 correspondence between sets. Transformation is the term used in geometry, mapping appears in topology. Customarily, operators are functions between vector spaces, functionals are operators with Y = R.

Relation is the one term that is best described in the framework of set theory. A (binary) relation R between two sets X and Y is a subset of their direct sum: RX + Y = {(x, y): xX and yY}. We often write x R y to indicate the fact that (x, y)R. Relation R is a function iff x R y₁ and x R y₂ imply y₁ = y₂. This way a function is identified with its graph.

If X is a segment {1, 2 , ..., n} of the set N of natural numbers then functions are called vectors and we write f_n instead of f(n). The same notation is used for sequences (X = N). When X = 2^A and Y = R⁺, the set of positive reals, we often call a function a measure. Some measures are reasonably termed length (A = R), area (A = R²), and volume (A = R³).

When y = f(x), it is customary to say that "y corresponds to x by means of function f." This may happen that no y corresponds to two different x's. If this is the case, the function f: X → Y, is said to be injective or an injection. If, for every yY there us an xX to which that y corresponds, function f is said to be surjective, a surjection, or to be onto. A 1-1 correspondence is both injective and surjective, and vice versa. (A 1-1 correspondence is also said to be bijective or a bijection.) An injective function f: X → Y is a 1-1 correspondence between X and f(X) ⊂ Y. (f(X) is the subset of all the values taken by various x from X.) f is surjective iff f(X) = Y.

• Functional Notations and Terminology
• Examples of Functions
• Historical Introduction
• Addition of Functions
  • Addition and Subtraction of Functions
• Multiplication of Functions