Ich gebe zu, der Begriff "prädikatenlogische Abbildung" ist meine Erfindung, in Unkenntnis des korrekten Begriffes. Ich meine damit das, was wir alle hier haben wollen: Eine bestimmte Art von zweistelligem Prädikat. :) Ich denke auch, Gunther ist vor allem auf den Link auf "Abbildung (Mathematik)" angesprungen. Diesen Punkt habe ich (vorläufig) im Artikel klargestellt.