⇒ Zu jedem y mindestens ein x Wert. Die Abbildungen f:X⟶Y heißt falls f(X)=Y ist, d.h. falls es für jedes y∈Y ein x∈X gibt, so dass gilt: f(x)=y