Correspondence

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A binary relation or multi-valued mapping between elements of two sets that pairs elements without requiring function-like uniqueness; formally a subset R ⊆ A × B or a rule assigning to each a ∈ A a subset R(a) ⊆ B.