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.