⇒ Zu jedem y höchstens ein x Wert Die Abbildungen f:X⟶Y heißt falls alle x1,x2∈X gilt: f(x1)=f(x2)⟹x1=x2