Relation

Definitionnoun

What is a relation in math?

A relation is any set of ordered pairs that links inputs to outputs, such as {(1, 4), (2, 5), (2, 7)}. It can be shown as a list, table, mapping diagram or graph. A relation in which every input has exactly one output is a function; this one is not, because 2 has two outputs.

In Spanish
relación
Also called
mathematical relation, set of ordered pairs, binary relation
Grade level
Algebra 1
Grade 8Algebra 1CCSS 8.F.A.1CCSS HSF-IF.A.1SATACTACCUPLACERHiSET

Relation in a picture

One relation shown four waysThe relation (negative 1, 2), (1, 0), (1, 3), (2, 2) is shown as a set of ordered pairs, a table, a mapping diagram and a graph. In the mapping diagram the input 1 has two arrows, and in the graph two points lie above x = 1, so the relation is not a function.ordered pairstablemapping diagramgraph{(−1, 2), (1, 0),(1, 3), (2, 2)}xy−12101322−112023x = 1 has two arrowstwo points above x = 1Same relation, four ways. It is a relation butnot a function: input 1 has two outputs, 0 and 3.
A relation is just a set of input-output pairs, in any form. It becomes a function only if no input has two different outputs.

Formal definition and notation

A relation from a set A to a set B is any subset of the Cartesian product A × B, that is, any set of ordered pairs (a, b) with a ∈ A and b ∈ B. Its domain is the set of first coordinates and its range is the set of second coordinates. A function is a relation in which no two different pairs share the same first coordinate.

Symbol Read it as Meaning
{(1, 4), (2, 5)} the set of pairs 1 comma 4 and 2 comma 5 a relation listed as ordered pairs
(x, y) x comma y an input x paired with an output y
A × B A cross B all possible pairs from A and B; a relation picks some of them

Key facts

  • Every function is a relation, but not every relation is a function.
  • To test a relation for being a function, look for a repeated first coordinate with a different second coordinate.
  • An output may repeat in a function: {(1, 6), (2, 6)} is a function, because each input still has one output.
  • On a graph, a relation is a function when it passes the vertical line test.
  • Equations can define relations that are not functions, such as the circle x2 + y2 = 25, where x = 3 gives y = 4 and y = −4.

Try it: make the relation a function

Interactive

These four points form a relation. Points A and B share x = 1, so it is not a function. Drag A or B to a new x-value and the relation becomes a function.

This interactive needs JavaScript. The worked examples below show the same ideas step by step.

Relation examples, step by step

Example 1: Domain and range of a relation

Warm-up

For the relation {(3, −1), (0, 4), (3, 2), (−5, 4)}, list the domain and the range.

  1. Domain: the first coordinates 3, 0, 3, −5, each listed once.
  2. Range: the second coordinates −1, 4, 2, 4, each listed once.

Answer: Domain {-5, 0, 3}; range {-1, 2, 4}.

Example 2: Is it a function?

Core

A table pairs a student’s ID number (input) with a test score (output): (101, 88), (102, 92), (103, 88), (101, 75). Is this relation a function?

  1. Look for repeated inputs: 101 appears twice.
  2. Its outputs differ: 88 and 75.
  3. One input with two outputs breaks the function rule. (The repeated output 88 for 101 and 103 is fine.)

Answer: No, it is not a function, because input 101 has two outputs.

Example 3: A relation from an equation

Test-style

Does x = y2 define y as a function of x? Test the input x = 9.

  1. Substitute: 9 = y2.
  2. Solve: y = 3 or y = −3.
  3. The input 9 pairs with two outputs: (9, 3) and (9, −3).

Answer: No. x = 9 gives y = -3 and y = 3, so the relation is not a function.

Common mistakes

✗ Mistake{(1, 5), (2, 5), (3, 5)} is not a function because 5 repeats.
✓ InsteadIt is a function: each input 1, 2, 3 has exactly one output.

Only repeated inputs can break the rule. Different inputs may share an output.

✗ MistakeA relation must follow a rule or formula.
✓ InsteadAny set of pairs is a relation, even {(2, 9), (7, −1)} with no pattern.

A relation only needs pairs. A formula is one way to describe some relations.

✗ Mistake(4, 1) and (1, 4) are the same pair in a relation.
✓ InsteadThey are different: input 4 with output 1, and input 1 with output 4.

Order matters in an ordered pair. The first coordinate is always the input.

Not to be confused with

Relationvs.Function

A function is a special relation: each input has exactly one output. {(1, 2), (1, 3)} is a relation but not a function.

Relationvs.Equation

An equation is a statement like y = x + 1. The relation is the set of all pairs that make it true, such as (0, 1) and (5, 6).

Quick check: 3 questions

Question 1 of 3

Which relation is NOT a function?

Show answer and explanation

Answer: C. In the third relation the input 4 goes to both 1 and 3. The others never repeat an input; the second and fourth only repeat outputs, which is allowed.

Question 2 of 3

What is the range of {(2, −3), (6, 0), (−1, −3)}?

Show answer and explanation

Answer: A. The range is the set of second coordinates, each listed once: −3 and 0. {−1, 2, 6} is the domain, the third choice lists −3 twice, and the last mixes inputs with outputs.

Question 3 of 3

In a mapping diagram, which picture shows a relation that is not a function?

Show answer and explanation

Answer: C. A function needs one arrow out of every input. An input with two arrows breaks that rule. Two arrows landing on one output is allowed, and the other two pictures describe functions.

Relation: frequently asked questions

What is the difference between a relation and a function?

A relation is any set of ordered pairs. A function is a relation with one extra rule: each input has exactly one output. So every function is a relation, but a relation such as {(2, 3), (2, 8)} is not a function, because the input 2 is paired with two different outputs.

What are the ways to represent a relation?

There are four common ways: a list of ordered pairs in braces, a table with an input column and an output column, a mapping diagram with arrows from inputs to outputs, and a graph of points on a coordinate plane. An equation or a description in words can also define a relation by saying which pairs belong.

Can a relation have just one ordered pair?

Yes. {(5, 2)} is a relation with domain {5} and range {2}, and it is also a function, since its only input has one output. Even the empty set, with no pairs at all, counts as a relation in set theory, though textbooks rarely use it.

Practice and tools

Sources

  1. Common Core State Standards, Grade 8 Functions (8.F.A.1)
  2. OpenStax, College Algebra 2e, 3.1 Functions and Function Notation
  3. OpenStax, Intermediate Algebra 2e, 3.5 Relations and Functions

Updated November 2026·Reviewed by the Effortless Math team·Standards: CCSS 8.F.A.1, CCSS HSF-IF.A.1

Cite this entry

Effortless Math Team. “Relation.” Effortless Math Dictionary. Updated November 2026. https://www.effortlessmath.com/math-dictionary/relation/

Flashcard

TermRelation{(1, 4), (2, 5), (2, 7)}
DefinitionAny set of ordered pairs linking inputs to outputs. It is a function only if no input repeats with a different output.
Study the full deck

Browse all terms in the Math Dictionary · More functions terms · Random term