Describes a correspondence between the objects in two sets where one or more elements in the set of departure can be connected to several elements in the set of destination.

Functions are one-to-one correspondences, because every element in the domain has a single image in the set of arrival.

### Example

This arrow diagram illustrates a one-to-many correspondence.