Also sagen wir man hat zwei Mengen A und B:
A = {1, 2, 3} und B = {4, 5, 6}
Wenn man nun das kartesische Produkt bildet und nach einer Abbildung fragt, dann kann doch jede beliebige Teilmenge des kartesischen Produkts als Abbildung von A auf B interpretiert werden, oder?
Sprich: Es müssen nicht zwingend jedem x aus A ein y aus B zugeordnet werden, sondern das ist optional. Also auch die zwei geordneten Paare {(1, 5); (2,4)} würden als Teilmenge des kartesischen Produkts als Abbildung gelten, richtig?