Definition. Es sei $f : M \to N$ eine Abbildung von $M$ in $N$ .

(1) $f$ ist surjektiv oder eine Abbildung auf $N$

=Df

Für jedes

b \in N

existiert ein

a \in M

, so daß

(a, b) \in f

, (d.h.,

W (f) = N

(2) $f$ ist injektiv oder eineindeutig von $M$ in $N$

=Df

Für jedes

a_{1}, a_{2} \in M

gilt: Wenn

a_{1} \neq a_{2}

, so

f (a_{1}) \neq f (a_{2})

(3) $f$ ist bijektiv oder eineindeutig von $M$ auf $N$

=Df

f

ist injektiv und surjektiv.