What makes a rule a function rather than just a relation, how does notation let us name and evaluate that rule, and how do the vertical and horizontal line tests sort every graph into one of four types?
Define and use function notation, distinguish a function from the more general relation using the vertical line test, and classify relations as one-to-one, many-to-one, one-to-many or many-to-many using the horizontal line test
A Year 11 Maths Advanced answer on functions and notation: the function machine and notation, evaluating and substituting expressions into a function, the difference between a function and a relation, the vertical line test, and one-to-one, many-to-one, one-to-many and many-to-many classification via the horizontal line test, with worked examples and practice questions.
Reviewed by: AI editorial process; not yet individually human-reviewed
Have a quick question? Jump to the Q&A page
What this dot point is asking
This dot point sets up the language used for the rest of the course. Three ideas sit together. First, function notation: the rule , read as a machine that turns an input into a single output, and how to evaluate it, including substituting whole expressions like . Second, the difference between a function and the more general relation, decided cleanly by the vertical line test. Third, the horizontal line test, which sorts every graph into one of four types: one-to-one, many-to-one, one-to-many and many-to-many. None of this is hard once the "input to output" picture is fixed, but it is examined constantly and underpins everything later: domain and range, inverse functions, logarithms as the reverse of exponentials, and reading a graph backwards. The goal is to make as automatic as the you already know, and to never mislabel a relation.
The answer
A function is a rule with one output per input
Informally, is a function of when is completely determined by through some rule. The variable is the independent variable (the input you choose) and is the dependent variable (the output the rule hands back). The single defining property is this: each input has exactly one output. A rule that could give two different outputs for the same input is not a function.
It helps to picture the rule as a machine: you feed in a value of , the machine applies its rule, and a single value comes out. The diagram below is the machine for , with a table of inputs and the one output each produces.
Function notation
Instead of writing , we can give the rule a name, usually , and write . This Euler notation, in use since 1735, sits alongside the form throughout the course. The symbol is read " of " and means "the output of the rule when the input is ". It is not multiplied by .
The power of the notation is that it lets you name a specific output. To evaluate at a number, substitute that number for every :
- , read " of zero equals one".
- .
You can name several functions at once, say , and , and a function can be described in words ("cube the number and subtract " is ) rather than by a formula.
Substituting expressions, not just numbers
The input to a function need not be a number: you can substitute another letter, or a whole expression. The rule is always the same, replace every with whatever is in the brackets, then simplify. This skill is the engine of differentiation from first principles later, so it is worth drilling now.
For :
- (just rename the input).
- (expand the bracket fully).
- (square the whole input, so the is squared too).
The classic slip is to forget the brackets: is , not . Substitute the input inside brackets and the algebra stays honest.
Relations: the more general idea
Not every graph is a function. A circle such as has, for the input , the two outputs and , so it breaks the "one output per input" rule. The general word for any set of ordered pairs, function or not, is a relation. Like a function, a relation has a graph, a domain and a range; unlike a function, a relation may have two or more points sharing the same -coordinate. A function is therefore a special kind of relation, just as a square is a special kind of rectangle.
The vertical line test
Because a function forbids one input from having two outputs, you can spot a function straight off its graph: two points with the same lie on the same vertical line. So draw vertical lines and look for a double crossing.
Here the test is applied to two graphs. The parabola passes (every vertical line meets it once), so it is a function. The circle fails (a vertical line meets it twice), so it is only a relation.
Reading a graph backwards, and the horizontal line test
The vertical line test reads a graph forwards, from to . You can also read it backwards, from to : to solve , draw the horizontal line and read off where it meets the curve. If that horizontal line meets the curve more than once, then that one output comes from several inputs.
Counting those backward crossings is exactly the horizontal line test, the companion of the vertical one with "vertical" and "horizontal" swapped. For a graph that is already a function (so it passes the vertical test), the horizontal test sorts it further:
- If it passes the horizontal test (no horizontal line meets it twice), it is one-to-one: read forwards or backwards, there is never more than one answer. It is a one-to-one correspondence between domain and range.
- If it fails the horizontal test, it is many-to-one: read forwards there is one output, but read backwards at least one has several -values mapping to it.
Below, both and are functions, but is one-to-one (each height reached once) while is many-to-one (the height comes from and , which is why has two square roots).
The four types of relations, stage by stage
Putting the two tests together classifies every graph into exactly one of four types. The vertical test decides function or not; the horizontal test then decides "to-one" or "to-many". Building the four cases up one at a time makes the pattern click: each panel below changes one test result, sweeping through all four combinations.
Stage 1, one-to-one (passes both tests). The line passes the vertical test, so it is a function, and it passes the horizontal test too. Every input has one output and every output comes from one input, so it is a one-to-one correspondence. Read it forwards or backwards and there is never more than one answer.
Stage 2, many-to-one (passes vertical, fails horizontal). The parabola still passes the vertical test, so it is a function, but the horizontal line meets it at and , so it fails the horizontal test. A function that fails horizontally is many-to-one: many inputs share one output.
Stage 3, one-to-many (fails vertical, passes horizontal). The sideways parabola fails the vertical test (the line meets it at and ), so it is not a function. But it passes the horizontal test, since each height gives a single . A non-function that passes horizontally is one-to-many.
Stage 4, many-to-many (fails both tests). The circle fails the vertical test (a vertical line meets it twice) and the horizontal test (a horizontal line meets it twice). Failing both, it is many-to-many: at least one input gives several outputs and at least one output comes from several inputs. That completes all four combinations.
Functions and relations need not act on numbers. In a database that records each employee's home postcode, the input is a person and the output is a postcode: it is a function (each person has one postcode), and with more employees than NSW postcodes it must be many-to-one, since some postcode is shared.
How exam questions ask about functions and notation
The wording is usually a direct cue to one of these moves:
- "Find " or "evaluate the function at..." wants you to substitute the value for every and simplify. Watch negatives: means substitute inside brackets.
- "Find " or "" wants you to substitute the whole expression in brackets and expand. The marks are for the correct substitution and full expansion, so keep the brackets.
- "Show that this graph is (not) a function" wants the vertical line test: either state that every vertical line meets it once, or exhibit a single vertical line crossing twice.
- "Is the function one-to-one or many-to-one?" wants the horizontal line test applied to a graph already known to be a function. One crossing for every horizontal line means one-to-one; one repeated height means many-to-one.
- "Classify the relation" wants the full four-type answer: run both tests and name the type.
- "Solve from the graph" is reading the graph backwards: draw and read off the -values where it meets the curve.
- A worded context (a fee, a fare, a height) defines a function in disguise. Substituting a value reads it forwards; solving for the input reads it backwards.
Practice questions
Original practice questions graded from foundation to exam level, each with a full worked solution. Try them before revealing the solution.
foundation2 marksA function is defined by . Find , and .Show worked solution →
Substitute each input for . The rule multiplies the input by and then subtracts .
Find :
Find . Take care with the negative:
Find :
State the answers. , and . Notice is the value where the graph would cross the -axis, since the input there is .
foundation2 marksUse the vertical line test to decide whether each of these is a function: (a) the parabola , (b) the circle . Explain your reasoning in one line each.Show worked solution →
- State the test
- A graph is a function exactly when no vertical line crosses it more than once, because that would mean one input gives two different outputs .
- Test (a) the parabola
- Every vertical line meets the parabola at exactly one point, . It passes, so is a function.
- Test (b) the circle
- The vertical line meets the circle at and , two points. One input gives two outputs, so it fails, and is not a function (it is a relation).
- Conclusion
- The parabola is a function; the circle is only a relation. A single vertical line crossing twice is all the evidence you need to rule a graph out.
core3 marksA plumber charges a fixed call-out fee plus an hourly rate, so the total cost in dollars for a job of hours is . Find and , say what each means, and find the length of a job that costs $315.Show worked solution →
Find and read its meaning. Put :
This is the cost of a hour job, the call-out fee of $90 that is charged just for turning up.
Find :
A hour job costs $315.
Solve for the job length. Set the rule equal to :
State the answer. A job costing $315 lasts hours, which matches found above. Here is the input and is the output: finding reads the rule forwards, and solving reads it backwards.
core3 marksFor , find and fully simplify .Show worked solution →
Write down by replacing every with .
Expand carefully. Expand the square first, :
Write down :
Subtract and collect like terms.
State and check. The simplified result is . Check at : and , so , and agrees.
exam3 marksClassify each graph as one-to-one, many-to-one, one-to-many or many-to-many, giving the result of each line test: (a) , (b) , (c) .Show worked solution →
- Recall the rule
- The vertical line test decides function (passes) versus not a function (fails); the horizontal line test then splits "to-one" (passes) from "to-many" (fails).
- (a)
- It passes the vertical test (one output per input), so it is a function. It also passes the horizontal test, since is always increasing and each height is reached once. Passing both, it is one-to-one.
- (b)
- It passes the vertical test, so it is a function. But the horizontal line meets it at and , so it fails the horizontal test. Function but horizontal-fail means many-to-one.
- (c) (a sideways parabola)
- The vertical line meets it at and , so it fails the vertical test and is not a function. It passes the horizontal test (each height gives a single ). Not a function but horizontal-pass means one-to-many.
- State the answers
- (a) one-to-one, (b) many-to-one, (c) one-to-many. None here is many-to-many; that needs both tests to fail, as a full circle does.
exam4 marksA Sydney taxi charges a flagfall plus a per-kilometre rate, so the fare in dollars for a trip of kilometres is . (a) Find and explain what it represents. (b) Find the fare for a km trip. (c) A passenger is charged $24.20. How far did they travel? (d) Is a one-to-one or a many-to-one function? Justify briefly.Show worked solution →
(a) Find . Put :
This is the fare for a km trip, the flagfall of $4.20 charged the moment the meter starts.
(b) Fare for km. Put :
A km trip costs $34.20.
(c) Solve (read the rule backwards).
The passenger travelled km. Check: , correct.
(d) Classify . The graph of is a straight line with a non-zero gradient, so every horizontal line meets it exactly once. It passes both line tests, so is one-to-one: each fare corresponds to exactly one distance, which is why part (c) had a single answer.
Related dot points
- Find the natural domain of a function (avoiding division by zero and square roots of negatives), determine the range from a sketch, work with restricted domains, and read the range from a graph using horizontal lines
A Year 11 Maths Advanced answer on domain and range: finding the natural domain by avoiding division by zero and square roots of negatives, reading the range from a sketch, restricted domains, and reading a graph backwards with horizontal lines, with worked parabola and semicircle examples and practice questions.
- Work with the gradient of a line as rise over run and as the tangent of its angle of inclination, write the equation of a line in gradient-intercept, point-gradient and general form, use the parallel and perpendicular gradient conditions, and find the length and midpoint of an interval
A Year 11 Maths Advanced answer on the straight line: gradient as rise over run and as tan of the angle of inclination, the gradient-intercept, point-gradient and general forms, the parallel and perpendicular gradient tests, and the length and midpoint of an interval, with worked examples and practice questions.
- Sketch a parabola by finding its intercepts by factoring, complete the square to write a quadratic in vertex form and read off the turning point and axis of symmetry, use the quadratic formula and the discriminant to find and classify the roots, and find the maximum or minimum value of a quadratic
A Year 11 Maths Advanced answer on the parabola: sketch by factoring for the intercepts, complete the square for the vertex form and turning point, use the quadratic formula and the discriminant to count and classify the roots, find the axis of symmetry, and read off the maximum or minimum value, with worked examples and practice questions.
- Sketch the graphs of power functions and contrast even and odd powers, sketch a cubic or higher polynomial that is factored into linear factors using a sign table, sketch circles centred at the origin and recognise shifted circles, and sketch the rectangular hyperbola with its asymptotes
A Year 11 Maths Advanced answer on power, polynomial and circle graphs: the shapes of even and odd powers of x, sketching a factored cubic with a sign table, circles centred at the origin, and the rectangular hyperbola and its asymptotes, with worked examples and practice questions.
- Translate a known graph vertically and horizontally and reflect it in the -axis and the -axis, recognise and test even functions (symmetric about the -axis, ) and odd functions (symmetric about the origin, ), sketch absolute-value graphs as transformations of , and form composite functions and determine their domain
A Year 11 Maths Advanced answer on transformations, symmetry and composite functions: translating and reflecting a known curve, testing even and odd functions algebraically, absolute-value graphs by transformation, and composite functions with their domain, with worked examples and practice questions.
- Form composite functions, determine when a function has an inverse, find and graph the inverse, and use restriction of domain to invert non-one-to-one functions
A focused answer to the HSC Maths Advanced dot point on composite and inverse functions. Composition order and domain, the horizontal line test, finding the inverse by swapping and solving, the reflection in , and restricting domains to invert non-one-to-one functions, with worked examples.