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.