What makes a relation a function when some inputs have more than one output?
Quick answer
A relation is a function if every input is paired with exactly one output. Scan the pairs and compare outputs for each input: repeating an input with the same output is fine, but pairing it with two different outputs means the relation is not a function. Different inputs may share an output. For example, (1, 2) and (2, 2) define a function; (1, 2) and (1, 3) do not. [S1]
The question, the details, the next step.
I keep mixing up “one output” with “one pair.” What’s the simplest way to tell whether a set of input-output pairs is a function?
Check each input separately: does that input have exactly one distinct output? A function assigns one output to each input in the relation. [S1]
For example, in {(1, 4), (2, 5), (3, 6)}, each input appears with one output, so this is a function. You don’t need every input to have a different output; the rule is about how many outputs belong to each individual input.
A quick method is to make a small list of inputs and the outputs paired with each. If any one input has two different outputs, you’ve found a reason the relation is not a function.
What if the same pair is written twice? Does that make the input have more than one output?
No. Repeating the same input-output pairing does not give the input a different output. For example, {(1, 4), (1, 4), (2, 5)} has only one distinct output for input 1, so it passes the function test. In ordinary set notation, duplicate pairs are usually written just once, but either way the function check comes down to distinct outputs.
Compare that with {(1, 4), (1, 7)}. Now input 1 is paired with two different outputs, 4 and 7, so the relation is not a function. [S1]
Can two different inputs have the same output? I thought a function had to match things one-to-one.
Yes. A function does not have to give different outputs to different inputs. For example, {(1, 2), (2, 2)} is a function: input 1 has one output, and input 2 also has one output. They happen to share the output 2, which is allowed. [S1]
The test is one-way: each input must have just one output. It does not require each output to belong to just one input. So “one-to-one” is a stricter condition than simply being a function; don’t use it as the basic test here.
Can you show me a complete quick check I can use on a worksheet, including a case that fails?
Try this example: {(0, 3), (1, 3), (2, 5), (2, 5)}.
- Group pairs by input: 0 → 3; 1 → 3; 2 → 5.
- Check each group for different outputs. None has more than one distinct output.
- Conclude that the relation is a function. Inputs 0 and 1 sharing output 3 is fine, and the repeated (2, 5) pair changes nothing.
Now change the last pair to (2, 6): {(0, 3), (1, 3), (2, 5), (2, 6)}. Input 2 now has outputs 5 and 6, so it is not a function. [S1]
You can copy this sentence for your work: “This relation [is / is not] a function because input [input] is paired with [one distinct output / the different outputs ___ and ___].” The test works for ordered pairs or a table: compare outputs within each input’s entries. It does not require a particular formula or different outputs for different inputs.
A practical checklist
List each input and the output or outputs paired with it.
For each input, count distinct outputs rather than repeated identical pairs.
If any input has two different outputs, mark the relation as not a function.
If every input has exactly one output, mark it as a function—even when different inputs share an output.
Write one example pair or input group to justify your conclusion.
A few more useful answers
Does an input have to appear only once in the list?
No. It may appear more than once. What matters is whether those appearances pair it with one distinct output or with different outputs.
Can different inputs share the same output?
Yes. For example, (1, 2) and (2, 2) are compatible with a function because each input has exactly one output. [S1]
What should I look for in a table of values?
Compare the outputs listed for each input. If one input is paired with two different outputs, the relation is not a function; if every input has exactly one output, it is. [S1]
Sources
References used for this guide.
- [S1] OpenStax College Algebra 2e: Functions and Function Notation openstax.org · Checked