Zuordnung (Mathematik)

allgemein eine binäre Relation R ⊆ X ✗ Y der Mengen X und Y, also eine Teilmenge der Menge aller geordneten Paare {(x, y)/x ∊ X, y ∊ Y }. Ist R eindeutig, d. h. aus (x, y) ∊ R und (x, z) ∊ R folgt y = z, so