Korrespondenz

Eine binäre Relation oder mehrwertige Abbildung zwischen Elementen zweier Mengen, die Elemente paarweise verbindet, ohne Einzigartigkeit wie bei einer Funktion zu verlangen; formal eine Teilmenge R ⊆ A × B oder eine Zuordnung, die jedem a ∈ A eine Teilmenge R(a) ⊆ B zuweist.