Begriffe

falls jedes y ∈ Y (mindestens) ein Urbild x besitzt

injektiv, falls jedes y ∈ Y höchstens ein Urbild x besitzt

falls f surjektiv und injektiv ist, d.h. falls jedes y ∈ Y genau ein Urbild x besitzt