Eigenschaften von Funktionen

• Definitionsbereich dom(R) = {x | ∃y : (x, y)∈R}
• Wertebereich rng(R) = {y | ∃x : (x, y)∈R}
• F injektiv : $\iff$ F ist nacheindeutig
• F ist (totale) Funktion (von A in B): ...
• F ist surjektiv (aus A auf B): ...
• F ist bijektiv: ...