Diagram that represents a relationship of a finite set to a finite set in which each pair is represented by an arrow.

### Example

Arrow diagram of the relationship *divide* in the set E of non-zero whole numbers less than 10:

### Etymological Note

The representation of a relationship by an arrow diagram is sometimes called an **arrow representation**.