Es seien L {\displaystyle {}L} und M {\displaystyle {}M} Mengen und sei x ∈ L {\displaystyle {}x\in L} fixiert. Zeige, dass die Auswertungsabbildung
surjektiv ist und bestimme für jedes y ∈ M {\displaystyle {}y\in M} die Faser über y {\displaystyle {}y} . Was kann man über die Mächtigkeit der Fasern bei L {\displaystyle {}L} und M {\displaystyle {}M} endlich sagen?