sind Abbildungen spezielle Mengen oder spezielle zweistellige Prädikate? - Wer tiefer einsteigt, findet: Es sind Mengen, weil extensional zu verstehen, o.k. Die Einführungssätze von Abbildung (Mathematik) und Relation (Mathematik) deuten eher auf Prädikate hin. SirJectives Formulierung sprach von "prädikatenlogischen Abbildungen". Was soll das sein? In der Prädikatenlogik (ohne ZFC) lassen sich Mengen gar nicht formulieren; in ZFC sind "Abbildungen" noch nicht definiert. Ich habe eine Formulierung vorgeschlagen, die Abbildungen als spezielle zweistellige Prädikate einführt, um diesem Dilemma zu entgehen.