30.4 Relation Representation Recognition

Relation Representation Recognition is the skill of identifying and interpreting a mathematical relation regardless of the specific format used to display it, including lists of ordered pairs, input-output tables, mapping diagrams, and coordinate point plots, and recognizing when two differently formatted representations describe the same underlying relation. A relation itself is simply a set of ordered pairs connecting values from one set, the inputs, to values from another set, the outputs, and because the same relation can be shown in several visually distinct ways, being able to move fluently between these formats is a foundational skill underlying later work with functions.

Recognizing a relation's representation also includes the specific skill of determining, from whatever format is given, whether the relation qualifies as a function — a relation in which every input is paired with exactly one output. This determination looks different depending on the representation used, but it always reduces to checking the same underlying condition on the ordered pairs the representation encodes.

Ordered Pair List

Structure of an Ordered Pair List

An ordered pair list presents a relation directly as a set of pairs, each written in the form $$\left(x,y\right)$$ where the first coordinate is the input and the second coordinate is the output. A relation such as $$\{\left(1,2\right),\left(2,4\right),\left(3,6\right)\}$$ lists three ordered pairs explicitly, leaving no ambiguity about which input connects to which output.

Reading Inputs and Outputs From the List

Because the ordered pair list states each pairing directly, the set of all inputs, called the domain, is read off as the collection of first coordinates, while the set of all outputs, called the range, is read off as the collection of second coordinates. Repeated first coordinates within the list, if present, signal that the same input appears paired with more than one output.

Recognizing an Ordered Pair List Among Other Formats

An ordered pair list is recognizable by its characteristic notation: a set of comma-separated coordinate pairs enclosed in parentheses, often grouped inside braces. This format is the most direct representation of a relation, since it matches the formal definition of a relation as a set of ordered pairs without requiring any additional interpretation step.

Input-Output Table

Structure of an Input-Output Table

An input-output table arranges a relation into two aligned rows or columns, typically labeled $$x$$ and $$y$$, with each column or row pairing one input value directly beneath or beside its corresponding output value. Reading down a column, or across a row, reproduces the same ordered pairs that an ordered pair list would show explicitly.

Converting a Table to Ordered Pairs

Any input-output table can be converted into an ordered pair list by reading each aligned input-output pair as a coordinate pair. For example, a table pairing inputs $$0,1,2$$ with outputs $$5,7,9$$ corresponds to the ordered pair list $$\{\left(0,5\right),\left(1,7\right),\left(2,9\right)\}$$.

Recognizing an Input-Output Table Among Other Formats

An input-output table is recognizable by its grid-like layout with clearly labeled rows or columns for inputs and outputs. Unlike a coordinate plot, a table lists values numerically rather than positioning them spatially, and unlike a mapping diagram, it does not use connecting arrows between separate columns of values.

Mapping Diagram

Structure of a Mapping Diagram

A mapping diagram displays two separate ovals or columns of values, one listing the inputs and the other listing the outputs, connected by arrows drawn from each input to its corresponding output or outputs. Every arrow drawn in the diagram represents exactly one ordered pair in the relation.

Reading Ordered Pairs From a Mapping Diagram

To convert a mapping diagram into an ordered pair list, each arrow is traced from its starting value in the input oval to its ending value in the output oval, and the two connected values form one ordered pair. A single input value with two arrows leaving it corresponds to two separate ordered pairs sharing that same first coordinate.

Recognizing a Mapping Diagram Among Other Formats

A mapping diagram is recognizable by its two distinct clusters of values joined by directional arrows, a visual structure not present in tables, plots, or ordered pair lists. This arrow structure makes a mapping diagram especially useful for visually spotting when one input connects to multiple outputs.

Coordinate Point Plot

Structure of a Coordinate Point Plot

A coordinate point plot displays a relation as points positioned on a two-dimensional coordinate grid, with the horizontal position of each point given by its input value and the vertical position given by its output value. Each plotted point corresponds to exactly one ordered pair in the relation.

Reading Ordered Pairs From a Plot

To convert a coordinate point plot into an ordered pair list, the horizontal and vertical position of each plotted point is read directly from the grid, using the axis scale to determine the numerical value of each coordinate. Points plotted directly above or below one another share the same input value.

Recognizing a Coordinate Point Plot Among Other Formats

A coordinate point plot is recognizable by its horizontal and vertical axes, typically labeled $$x$$ and $$y$$, with individual points marked at specific grid positions. Unlike a table, which lists values numerically, a plot conveys the relation spatially, allowing patterns such as a straight-line arrangement of points to be seen visually.

Same Relation in Different Forms

Recognizing Equivalent Representations

The same relation can appear as an ordered pair list, a table, a mapping diagram, and a coordinate plot without changing which inputs are paired with which outputs. Recognizing equivalence across these forms means confirming that every ordered pair produced by one representation also appears in the other, regardless of the order or visual layout in which the pairs are shown.

Verifying Two Representations Match

To verify that two differently formatted representations describe the same relation, each representation is first converted into its underlying set of ordered pairs, and the two resulting sets are then compared directly. If every pair in one set appears in the other, and no extra or missing pairs exist in either, the representations are equivalent.

Common Sources of Mismatch

Two representations that appear similar can fail to match if a table omits a pair present in the corresponding plot, if a mapping diagram is missing an arrow that a list includes, or if a plotted point is placed at the wrong grid position. Careful pair-by-pair comparison catches these mismatches even when the overall visual impression of the two representations looks nearly identical.

Representation-Based Function Check

The Function Condition Restated for Each Representation

A relation is a function exactly when no input value is paired with more than one output value. In an ordered pair list, this means no first coordinate repeats with a different second coordinate. In a table, this means no input value in the input column appears twice with two different output entries.

Checking the Function Condition in a Mapping Diagram

In a mapping diagram, the function condition is checked by confirming that no input value in the left oval has more than one arrow leaving it. A single input with two arrows pointing to two different outputs immediately shows the relation is not a function, regardless of how the output side of the diagram is arranged.

Checking the Function Condition in a Coordinate Plot

In a coordinate point plot, the function condition is checked using the vertical line test: if a vertical line drawn through any horizontal position on the grid touches more than one plotted point, the relation is not a function, since that vertical line marks a single input value connected to more than one output value.