ALG1-4.1

Relations, Functions & Function Notation

Learn to tell relations from functions with the one-output rule and vertical line test, find domain and range, and evaluate f(x) notation with confidence.

What you'll do in this lesson

A voice-first session with the Crimsora tutor on Relations, Functions & Function Notation, then targeted practice and FRQs — with the tutor adapting to where you get stuck.

What this lesson covers

You already know how to plot points and graph lines. Now we give those input-output relationships a name and a rule. A relation is any pairing of inputs with outputs; a function is a relation that follows one strict promise: every input gets exactly one output. That promise is what makes it safe to write f(3)=7f(3) = 7 and mean something definite.

In this lesson you will decide whether a set of ordered pairs, a table, a mapping diagram, or a graph represents a function; state the domain (the inputs) and range (the outputs); and read function notation like f(x)=2x5f(x) = 2x - 5 as a machine that takes a number in and sends a number out. Everything in the rest of Unit 4 — slope, slope-intercept form, parallel and perpendicular lines — is written in this language, so getting comfortable with f(x)f(x) now pays off immediately.

Relations and the One-Output Rule

A relation is simply a set of ordered pairs, such as {(1,4),(2,7),(3,10)}\{(1, 4), (2, 7), (3, 10)\}. The first coordinate of each pair is the input (often called xx), and the second is the output (often called yy). Relations can be shown four ways: as a set of ordered pairs, as a table, as a mapping diagram with arrows, or as a graph.

A relation is a function when each input is paired with exactly one output. That is the entire test. Check every input value: if any input appears twice with two different outputs, the relation is not a function.

Look at {(1,4),(2,7),(1,9)}\{(1, 4), (2, 7), (1, 9)\}. The input 11 points to both 44 and 99, so this is not a function. Now look at {(1,4),(2,4),(3,4)}\{(1, 4), (2, 4), (3, 4)\}. Three different inputs all give the output 44. That is completely fine — the rule says nothing about outputs repeating. A function may reuse outputs; it may never reuse an input with a different partner.

That asymmetry is where most mistakes happen. Students see the repeated 44 and call it "not a function" because something repeated. Say the rule out loud each time: one input, one output. Ask "does any xx have two different yy-values?" not "does anything repeat?"

A real-world way to feel it: each student has exactly one assigned locker number, so student-to-locker is a function. Two students could theoretically share a locker (repeated output, still fine), but one student cannot be assigned two different lockers.

The Vertical Line Test

When a relation is given as a graph, checking every input by hand is impossible — there are infinitely many. The vertical line test does it all at once: if any vertical line crosses the graph more than once, the relation is not a function.

The reason is exactly the one-output rule in picture form. A vertical line is the set of all points with one particular xx-value. If that line hits the graph twice, then that single input xx has two different outputs, and the relation fails.
GraphVertical line testFunction?
Line y=2x+1y = 2x + 1Every vertical line hits onceYes
Horizontal line y=3y = 3Every vertical line hits onceYes
Parabola y=x2y = x^2Every vertical line hits onceYes
Vertical line x=4x = 4The line x=4x = 4 hits infinitely oftenNo
Circle x2+y2=25x^2 + y^2 = 25The line x=0x = 0 hits at (0,5)(0,5) and (0,5)(0,-5)No
Two cautions. First, a horizontal line is a function (a constant function) even though it looks "flat and boring" — every input has exactly one output, which happens to always be the same number. Second, the test only needs one bad vertical line to fail. Scanning left to right and finding one place where the curve stacks two points vertically is enough.

Students sometimes confuse this with a horizontal line test they have heard about elsewhere. In Algebra 1, the vertical line test is the function test. Horizontal comparisons tell you about repeated outputs, which, as we saw, do not break the function rule.

Domain and Range

The domain is the set of all inputs; the range is the set of all outputs. From a set of ordered pairs, gather the first coordinates for the domain and the second coordinates for the range, list each value only once, and write them in increasing order inside braces.

For {(2,5),(0,1),(3,5),(4,8)}\{(-2, 5), (0, 1), (3, 5), (4, 8)\}: the domain is {2,0,3,4}\{-2, 0, 3, 4\} and the range is {1,5,8}\{1, 5, 8\}. Notice the output 55 appears twice in the pairs but is listed once in the range, because a set lists each element once.

From a graph made of separate plotted points, read the xx-coordinates for domain and the yy-coordinates for range the same way. From a graph that is a continuous curve or line, describe a span instead: for the line segment drawn from (1,2)(-1, 2) to (4,2)(4, 2), the domain is all xx with 1x4-1 \le x \le 4 and the range is just {2}\{2\}. For a full line like y=2x+1y = 2x + 1 with arrows on both ends, the domain is all real numbers and the range is all real numbers.

The most common error is swapping the two: writing xx-values under "range" because range sounds like "how far it stretches sideways." Anchor it with the alphabet — d comes before r, and x comes before y, so domain goes with xx. A second frequent slip is ignoring the arrows and endpoints on a graph. Arrows mean the graph keeps going, so the domain keeps going; a solid dot at the end means that endpoint is included, and an open circle means it is not.

Function Notation and Evaluating f(x)

Once you know a relation is a function, you can name it and write f(x)f(x), read aloud as "ff of xx." This is not multiplication. The letter ff is the function's name, and xx inside the parentheses is the input. So f(x)=3x4f(x) = 3x - 4 and y=3x4y = 3x - 4 describe the same rule; function notation just makes the input visible.

The advantage shows up when you evaluate. Writing f(5)=11f(5) = 11 packs the input, the output, and the point (5,11)(5, 11) into four symbols. To evaluate, substitute the input everywhere xx appears, then simplify using order of operations.

For f(x)=x22xf(x) = x^2 - 2x, evaluating at 3-3 gives f(3)=(3)22(3)=9+6=15f(-3) = (-3)^2 - 2(-3) = 9 + 6 = 15. Notice the parentheses around 3-3. Dropping them turns (3)2(-3)^2 into 32=9-3^2 = -9, which is the single most common arithmetic slip in this topic.

Inputs do not have to be numbers. If f(x)=4x+1f(x) = 4x + 1, then f(a)=4a+1f(a) = 4a + 1 and f(x+2)=4(x+2)+1=4x+9f(x + 2) = 4(x+2) + 1 = 4x + 9. Substitute the whole thing in place of xx and keep it in parentheses.

Questions can also run backwards. "Solve f(x)=13f(x) = 13 for f(x)=3x5f(x) = 3x - 5" means find the input that produces the output 1313: set 3x5=133x - 5 = 13, so x=6x = 6. Read carefully whether you are given an input (evaluate) or an output (solve an equation). Mixing those two up is where most of the confusion in this lesson lives.

On a graph, f(2)=7f(2) = 7 means the point (2,7)(2, 7) lies on the graph, so you can evaluate a function straight from a picture: go to x=2x = 2, run up or down to the curve, and read the height.

Key terms

Relation.
Any set of ordered pairs pairing inputs with outputs; it can be shown as a set, table, mapping diagram, or graph.
Function.
A relation in which every input is paired with exactly one output. Outputs may repeat; inputs may not have two different partners.
Domain.
The set of all input values (xx-values) of a relation, listed once each and usually in increasing order.
Range.
The set of all output values (yy-values) of a relation, listed once each.
Vertical line test.
A graphical check: if any vertical line intersects the graph more than once, the relation is not a function.
Function notation.
Writing f(x)f(x) for the output of function ff at input xx; f(3)=8f(3) = 8 is the same information as the point (3,8)(3, 8).
Evaluate a function.
Substitute a given input value everywhere xx appears in the rule and simplify to find the output.
Mapping diagram.
A picture with input values on the left, output values on the right, and arrows showing the pairings; two arrows leaving one input means it is not a function.

Worked example

Consider the relation R={(4,3),(1,0),(2,3),(5,6)}R = \{(-4, 3), (-1, 0), (2, 3), (5, -6)\} and the function f(x)=2x+7f(x) = -2x + 7. (a) Is RR a function? (b) State the domain and range of RR. (c) Find f(3)f(-3). (d) Solve f(x)=1f(x) = 1. (e) Does the point (4,1)(4, -1) lie on the graph of ff?
(a) Check the inputs: 4-4, 1-1, 22, 55. No input repeats, so no input has two different outputs. RR is a function. The output 33 appears twice, at (4,3)(-4,3) and (2,3)(2,3), but repeated outputs are allowed.

(b) Domain is the set of first coordinates: {4,1,2,5}\{-4, -1, 2, 5\}. Range is the set of second coordinates, each listed once and in increasing order: {6,0,3}\{-6, 0, 3\}.

(c) Substitute 3-3 for xx in f(x)=2x+7f(x) = -2x + 7. Keep the negative input in parentheses: f(3)=2(3)+7=6+7=13f(-3) = -2(-3) + 7 = 6 + 7 = 13. So f(3)=13f(-3) = 13, which is the point (3,13)(-3, 13).

(d) Here 11 is an output, not an input, so set the rule equal to 11 and solve: 2x+7=1-2x + 7 = 1. Subtract 77 from both sides to get 2x=6-2x = -6, then divide by 2-2 to get x=3x = 3. Check: f(3)=2(3)+7=1f(3) = -2(3) + 7 = 1. Correct.

(e) The point (4,1)(4, -1) lies on the graph only if f(4)=1f(4) = -1. Compute f(4)=2(4)+7=8+7=1f(4) = -2(4) + 7 = -8 + 7 = -1. It matches, so yes, (4,1)(4, -1) is on the graph of ff.

Practice questions

Which relation is NOT a function?
  1. {(0,5),(1,5),(2,5),(3,5)}\{(0, 5), (1, 5), (2, 5), (3, 5)\}
  2. {(2,1),(0,3),(4,7),(9,12)}\{(-2, 1), (0, 3), (4, 7), (9, 12)\}
  3. {(6,2),(7,4),(6,9),(8,1)}\{(6, 2), (7, 4), (6, 9), (8, 1)\}
  4. {(1,1),(2,4),(3,9),(4,16)}\{(1, -1), (2, -4), (3, -9), (4, -16)\}

Answer: {(6,2),(7,4),(6,9),(8,1)}\{(6, 2), (7, 4), (6, 9), (8, 1)\}

Scan the inputs in each set. In the third set the input 66 appears twice, once paired with 22 and once with 99 — one input, two different outputs, so it fails the one-output rule. The first set repeats the output 55 four times, which is perfectly allowed; a function may send many inputs to the same output. The other two sets have all-different inputs, so they pass.
A graph consists of the single solid curve y=x24y = x^2 - 4 drawn only for xx between 2-2 and 22, including both endpoints. Explain why this is a function, then state its domain and range.

Answer: It is a function because every vertical line drawn between x=2x = -2 and x=2x = 2 crosses the curve exactly once. Domain: all xx with 2x2-2 \le x \le 2. Range: all yy with 4y0-4 \le y \le 0.

Apply the vertical line test: for each input in the drawn interval there is exactly one height on the parabola, so no vertical line hits twice. The domain comes from how far the graph extends horizontally, and the solid endpoints mean 2-2 and 22 are included. For the range, find the lowest and highest outputs. The vertex sits at (0,4)(0, -4), the lowest point, and the endpoints give f(2)=0f(-2) = 0 and f(2)=0f(2) = 0, the highest points. So outputs sweep from 4-4 up to 00.
Given g(x)=53xg(x) = 5 - 3x, find g(2)g(-2), and separately find the value of xx for which g(x)=20g(x) = 20.

Answer: g(2)=11g(-2) = 11 and x=5x = -5.

For g(2)g(-2), the 2-2 is an input, so substitute it: g(2)=53(2)=5+6=11g(-2) = 5 - 3(-2) = 5 + 6 = 11. For the second part, 2020 is an output, so write the equation 53x=205 - 3x = 20. Subtract 55 from both sides to get 3x=15-3x = 15, then divide by 3-3 to get x=5x = -5. Check by substituting back: g(5)=53(5)=5+15=20g(-5) = 5 - 3(-5) = 5 + 15 = 20. Telling these two tasks apart — input given versus output given — is the key skill here.

FAQ

Can a function have two different inputs with the same output?
Yes. The rule restricts inputs only. In {(1,6),(2,6),(3,6)}\{(1, 6), (2, 6), (3, 6)\} every input has exactly one output, so it is a function, even though every output is 66. The graph of y=6y = 6 is a horizontal line, and it passes the vertical line test. What breaks a function is one input with two different outputs, like (1,6)(1, 6) and (1,9)(1, 9) appearing together.
Does f(x)f(x) mean ff times xx?
No. In function notation, ff is the name of the function and the parentheses hold the input. Reading f(x)=2x+1f(x) = 2x + 1 as multiplication would be a serious misreading. You can tell from context: a single letter followed by parentheses in a definition or evaluation, such as f(3)f(3), g(1)g(-1), or h(t)h(t), is function notation. If you ever need to multiply, the problem will show it with a dot or with two quantities side by side, like 3x3x.
How is f(x)f(x) different from yy?
They name the same output. Writing y=4x2y = 4x - 2 and f(x)=4x2f(x) = 4x - 2 gives the same graph and the same table. The advantage of f(x)f(x) is that it records the input in the statement: f(5)=18f(5) = 18 tells you the input, the output, and the point (5,18)(5, 18) all at once, while y=18y = 18 alone does not say which xx produced it. Function notation also lets you compare several functions in one problem by calling them ff, gg, and hh.
How do I find domain and range from a graph with arrows on the ends?
Arrows mean the graph continues forever in that direction, so the corresponding set continues too. A straight line with arrows on both ends has domain all real numbers and range all real numbers. A parabola opening upward with arrows on both ends has domain all real numbers, but its range starts at the yy-value of the vertex and goes up. Always look at endpoints as well: a solid dot includes that value, and an open circle excludes it.

Learn this with a teacher, not a page

The Crimsora tutor teaches Relations, Functions & Function Notation live — explaining on a whiteboard, asking you questions, and adapting to where you get stuck.