In this explainer, we will learn how to represent a relation using a mapping diagram or a graph, knowing the domain and range of a given relation.

Set theory is a branch of mathematics that involves the study of collections,
called *sets*, of objects that are called *elements* of that set. An important tool
within this area is that of the *relation*. Letβs begin by defining the meaning of
this term.

### Definition: Relation

A relation is a rule that associates the elements of one set with the elements of another. Relations can be represented as mapping diagrams, ordered pairs, tables of values, equations, or graphs.

Simply put, a relation produces one or more outputs for every input. For instance, consider a collection of students in a school. There exists a relation between each student and, for example, the number of siblings they have. If student A has 1 sibling, student B has 3 siblings, student C has 0 siblings, and student D has 1 sibling, this information can be represented in a list of ordered pairs as and as a mapping (or arrow) diagram as follows:

We can see that elements in the input set are located on the left of the relation, while elements in the output set are located on the right.

In our first example, letβs demonstrate how to form ordered pairs to represent a relation given a table of values.

### Example 1: Writing the Given Information as a Set of Ordered Pairs

In basketball, each shot made from outside the 3-point line scores 3 points. The table shows this relationship. List this information as ordered pairs (3-point shots made, total number of points).

### Answer

Remember: a relation produces output numbers for every input number. This means that the given table represents a relation; it takes the input number, 3-point shots made, and produces an output number, total number of points.

Hence, the information in the table can be represented as a group of ordered pairs, where the first value in each pair is the input and the second value is the output. Letβs begin by looking at the first column.

The number of shots made is 0 and the total number of points is 0. The ordered pair is .

Similarly, looking at the second column, we see that when the number of shots made is 1, the total number of points is 3.

The second ordered pair is .

Repeating this process for the final two columns, we see that when the number of shots made is 2, the total number of points is 6, and when the number of shots made is 3, the total number of points is 9.

The corresponding ordered pairs are and .

Hence, the ordered pairs are , , , and .

In our previous example, we demonstrated how to represent a relation using a list of ordered pairs. We might also observe that we could have described the relation in words. The total number of points scored is found by multiplying the number of 3-point shots made by 3:

In our next example, we will demonstrate how to write a list of ordered pairs given an arrow diagram.

### Example 2: Writing the Ordered Pairs Shown by a Relationship Given in an Arrow Diagram

Write the relation for the following arrow diagram:

### Answer

The diagram shown is an arrow, or mapping, diagram. It links elements in an input set with elements in an output set . We can define a relation for the arrow diagram by writing it as a list of ordered pairs in a set, .

The first input number is 6, and the arrow points to the output number 8. Hence, the first ordered pair is . Similarly, the second input number, 10, has an arrow leading to the number 12, so the second ordered pair is . The third input number, 11, has an arrow pointing to the output number 13, so the third ordered pair is . Since the final output number does not have a corresponding input number, we do not include it in an ordered pair.

Hence,

We have seen one type of mapping diagrams, an arrow diagram. There are a number of alternative ways to represent relations on mapping diagrams, such as using arrows on a number line. In our next example, we will see what this looks like.

### Example 3: Writing the Ordered Pairs Shown by a Relationship Given in an Arrow Diagram

Which of the following correctly expresses the relation illustrated in the figure below?

### Answer

In order to represent a mapping diagram as a list of ordered pairs, we must carefully look at all possible inputs to the relation and follow the arrow to their corresponding output. Then, each ordered pair will have the general form

Letβs work from left to right. The first arrow starts at and points to 18. Hence, the input is , the output is 18, and, therefore, the corresponding ordered pair is .

The next input number is , and the arrow points to the corresponding output of 9. This means the ordered pair is .

The next relation looks a little strange but is dealt with in the same way.

The input is 0 *and* the output is 0. The ordered pair is .

In a similar way, the final two ordered pairs are and .

Hence, the correct answer is choice A, .

It is fairly intuitive that if we can represent a relation using a list of ordered pairs, we can also represent a relation on a coordinate plane. Letβs demonstrate this in our next example.

### Example 4: Writing the Ordered Pairs Shown by a Relationship Given in a Cartesian Diagram

Write the relation for the following diagram.

### Answer

Remember: we can represent a mapping diagram as a list of ordered pairs, each of which will have the general form

It follows that, given points on a coordinate plane, the ordered pairs will be of the form

Hence, we can write the relation for the given diagram by first listing the ordered pair for each point.

Working from left to right and reading the -coordinate
*first*, we see the
first pair is given by .

Similarly, the second pair is given by .

Then, the final three pairs are , , and .

Hence, the relation is given by .

We have already demonstrated that a relation can be represented in a number of ways, including algebraically. In our next example, we will consider how to form an equation to describe a relation given as a mapping diagram.

### Example 5: Forming an Equation from an Arrow Diagram

Given that is a relation from to , where and , which of the following equations correctly expresses relation ?

### Answer

The given mapping diagram takes input numbers from set and maps them onto output numbers from set . For instance, an input of gives an output of 0, while an input of 4 gives an output of 10.

In order to find the correct equation that expresses the relation , we will substitute these values into each equation. Be careful; we are told that and , so is the input (or independent variable) and is the output (or dependent variable).

Letβs begin with the equation . Let :

Since an input of gives an output of 0, this equation holds for the first pair of values in our diagram. Letβs repeat this process with :

Since the input of 4 corresponds to an output of 10, this equation does not hold for all pairs of values on our diagram.

Letβs try the next equation, . When ,

This does not satisfy the relation given on the mapping diagram, so this equation cannot be correct.

We will now try the equation , giving our results in a table.

4 | 5 | ||

Since each input and output pair matches the mapping diagram, this is the correct equation. It is worth noting that since is the input and not the output, we would have disregarded the remaining two options.

The correct answer is choice C, .

In our previous example, we demonstrated how to link a mapping diagram with an algebraic rule. We can also use an algebraic rule to find elements of a set. For instance, consider the relation from to , , for each and . This relation takes elements from set and generates elements in set . Suppose . Then, the first element in set is given by substituting into the equation :

The second element is found by substituting into the same equation:

Finally, the third element is found by substituting :

Hence, the elements of set are , 8, and 11; .

In our next example, we will demonstrate how to use our understanding of relations to solve problems given a rule.

### Example 6: Identifying All the Ordered Pairs for a Given Relationship

Given that and is a relation on , where means that is equal to an even number for each and , determine the relation .

### Answer

In this example, we are given a rule that links elements from set with other elements from the same set. The rule tells us that the relation consists of values of and from the set that satisfy is even.

Hence, we can find the ordered pairs in this relation by choosing values of and from the set given and substituting them into the equation . In fact, we can also use our understanding of odd and even numbers to deduce the relevant relation.

Letβs begin with . Since is an integer chosen from , the expression will always be even. is even, and the sum of two even numbers is even. Hence, will always be even for .

The ordered pairs that satisfy this relation are , , and .

Now, let . is odd, and the sum of an odd and an even number is odd. Hence, is odd when and there are no ordered pairs that satisfy the relation with an input of 1.

Finally, let . As in the previous case, this is odd, meaning that is odd if and there are no ordered pairs that satisfy the relation with an input of 3.

The relation .

In our final example, we will use a similar process to find unknowns in a set when given the rule for a relation.

### Example 7: Finding Unknowns in a Relation on Pairs between Two Sets given Its Rule

The relation is defined on the positive real numbers by , if and only if . Determine the values of , , , and , given that , , , and belong to .

### Answer

In this example, we have been given a rule that links two sets whose respective elements are and . The rule tells us that the elements in each set that form the ordered pairs given and belong to the relation satisfy the equation . In this example, , , , and belong to the relation . Hence, given an element in each set, we can establish the corresponding element in the other set by substituting that value into this equation and solving for the unknown.

Letβs begin with the ordered pair . Since the general form of an ordered pair is , we can substitute and into the equation :

To solve for , we divide by 4:

We can repeat this process for the ordered pair . This time, we substitute and into the equation:

To solve for , we take the square root of both sides of this equation, remembering to take both the positive and negative square root of 36:

However, we are told that the relation links pairs of *positive* real numbers, so we disregard .

Hence, .

Next, for the ordered pair , we let and :

Finally, for , we substitute and to get

Since is positive, we choose .

Hence, the values of , , , and are , , , and .

In this explainer, we have delved into the world of relations, representing them using mapping diagrams, lists of ordered pairs, graphs, and rules. This world will only expand as we move on to learn about functions, domain, range, and the various theorems that result.

For now, we will recap the key concepts from this explainer.

### Key Points

- A relation is a rule that associates the elements of one set with the elements of another. Relations can be represented as mapping diagrams, ordered pairs, tables of values, equations, or graphs.
- A relation produces one or more outputs for every input.