Skip to content
← All questions

What does an arrow between two sets mean in a relation diagram?

In a relation diagram, an arrow drawn from an element in the first set to an element in the second set means that the corresponding ordered pair belongs to the relation. It visually encodes the membership of a specific pair in the subset of the Cartesian product.

Conditions

  • The diagram shows two sets, typically represented as ovals or circles.
  • An arrow connects an element from the first set to an element from the second set.

Reasoning, step by step

  1. Identify the starting element of the arrow in the first set.
  2. Identify the ending element of the arrow in the second set.
  3. Translate the arrow into an ordered pair (start, end).
  4. Conclude that this ordered pair is an element of the relation R.

Example

The video draws a pink arrow from h1h_1 to c1c_1 in the humans-and-pets example. The speaker explains that this means the first human owns the cat, and later writes that the ordered pair (h1h_1, c1c_1) belongs to the ownership relation.

Common misconceptions

  • Thinking an arrow represents a function or a mapping rather than a relation membership.
  • Assuming that elements without arrows are not part of the sets; they are just not related in this specific relation.

Watch the explanation

Connected concepts

Explore next

Related questions

Find a method

↗
Meet the concept

↗
Understand why

↗
Meet the concept

↗

Answers are generated from source material and independently checked. Consult the original video or creator if something is unclear.