Belegung (Mathematik)
Wird in der Mathematik einer Variablen ein konkreter Wert zugewiesen, wird das als Belegung bezeichnet.<ref>Belegung einer Variablen. Abgerufen am 2. März 2026.</ref>
Beispiel
<math>X = 3</math>. Der Variablen X wird der Wert 3 zugewiesen, sie wird mit dem Wert 3 belegt.
Ebenso können mehrere Variablen (eine Variablenmenge) mit Werten belegt werden. Beispielsweise könnten die Variablen verschiedene Städte der Erde repräsentieren, denen ein Wert aus dem Wertebereich Temperaturen auf der Erdoberfläche am 10. Januar 2006 um 12:00 Ortszeit zugeordnet wird.
Definition
Angenommen es ist eine Menge <math>Var</math> von Variablen gegeben, die der Einfachheit halber alle denselben Wertebereich <math>Dom(Var)</math> haben. Als Belegung der Variablenmenge <math>Var</math> bezeichnet man dann jede Abbildung
<math>\eta \colon Var\to Dom(Var)</math>.
Häufig wird die Menge aller möglichen Belegungen von <math>Var</math> mit <math>Eval(Var)</math> bezeichnet.
Siehe auch
Weblinks
Einzelnachweise
<references />