MathSloth

Injektiv

Jedes Element der Zielmenge wird höchstens einmal getroffen.

f(x_1)=f(x_2) \Rightarrow x_1=x_2

Jedes Element der Zielmenge wird mindestens einmal getroffen.

\forall y \in B \ \exists x \in A: f(x)=y

Jedes Element der Zielmenge wird genau einmal getroffen.

\text{injektiv} + \text{surjektiv}