Theoretische Informatik

Nächste Seite: Äquivalenzrelation Aufwärts: Allgemeines Vorherige Seite: Allgemeines Inhalt

Funktionen

Definition: Totale Funktion: Sei f eine Funktion $A \rightarrow B$ . Wenn es für alle $a \in A$ ein $b\in B$ gibt, so heißt die Funktion f total.
Definition: Partielle Funktion: Sei f eine Funktion $A \rightarrow B$ . Es existieren $a \in A$ , für die kein $b\in B$ existiert: $f(a)=\bot$ .¹

Fußnoten

....¹: d.h. An einigen Stellen ist die partielle Funktion nicht definiert