Think of a vending machine. You press button B4 and you expect exactly one product to come out — never two different products from the same button, and never nothing. That "one input, one guaranteed output" behaviour is exactly what makes something a function. A lot of the relationships you already know (a person's height over time, the cost of litres of gas) behave this way. Others don't — a single -value can sometimes correspond to more than one -value, and those relationships are still relations, just not functions. Everything else in this course (transformations, inverses, quadratics, exponentials, trig) is built on this one definition, so it is worth getting completely solid now.

Relations vs. functions
A relation is any set of ordered pairs — a rule, a table, a graph, or a list of points that connects inputs to outputs, with no restriction at all. A function is a relation with one extra condition: every input value () is paired with exactly one output value (). It's fine for two different inputs to share the same output (many students can get the same test mark), but it is not fine for one input to produce two different outputs. Why insist on this? Because a function is meant to be predictable: if you know the input, you know the output with no ambiguity. A student number that could belong to two different students would be useless for looking anyone up. Functions where no two inputs share an output (like ) are called one-to-one; functions where several inputs share an output (like , where and both give ) are many-to-one. Both kinds are functions. Any relation in which some input has several outputs — one-to-many or many-to-many, like a circle — is not a function.
The vertical line test
On a graph, "one output per input" means: pick any vertical line — it should cross the graph at most once. If some vertical line crosses the graph two or more times, then that -value has two different -values, so the graph is not a function. This is the vertical line test, and it's the fastest way to check a graph. It works because every point on a vertical line shares the same -coordinate: two crossing points means two ordered pairs with the same input and different outputs. You only need one failing line to reject a graph, but to accept a graph you must be convinced that every vertical line crosses at most once. "At most once" includes zero times — a vertical line that misses the graph just means that -value is not in the domain.
- A circle () fails the vertical line test — it is not a function.
- A sideways parabola fails the vertical line test — it is not a function.
- A straight (non-vertical) line always passes — it is a function.
- A vertical line such as is the worst case: every point has the same input, so it is not a function.
- passes — every gives one , even though two different -values can share a (e.g. and ).
Function notation
Instead of writing , we often write . This is function notation: is read " of " and it means "the output of function when the input is ." It is a name for the output — it does not mean multiplied by . Different letters (, , , ...) let you talk about several functions in the same problem without confusion, and the notation packs the input and output into one symbol: says "the input gives the output ," which is the point on the graph. To evaluate for some value or expression , substitute for every occurrence of in the rule, then simplify. This works whether is a number, another variable, or a whole expression like — put the substituted value in brackets so that signs and exponents apply to all of it.
Representations, context and solving for an input
| Representation | Example | How to check it is a function |
|---|---|---|
| Equation | Solve for y: exactly one y for each x (no ± from a square root) | |
| Table of values | x: 0, 1, 2 → y: 1, 3, 5 | No x-value repeats with a different y-value |
| Graph | A line or curve | Vertical line test |
| Ordered pairs | {(0,1), (1,3), (2,5)} | No repeated first coordinate with a different second coordinate |
| Mapping diagram | Two ovals joined by arrows | Exactly one arrow leaves every input |
Function notation earns its keep in real contexts. If a streaming service charges dollars for a month with movie rentals, then reads "renting 8 movies costs 35 dollars." Two different questions come up constantly, and they run in opposite directions. Evaluating ("find ") gives you the input and asks for the output — substitute. Solving ("for what is ?") gives you the output and asks for the input — set the rule equal to the output and solve the equation: , so . For a many-to-one function, solving can produce more than one input; for , the equation has two solutions, and . That is not a contradiction — two inputs sharing one output is allowed.