diff options
Diffstat (limited to 'tex/thesis/contribution')
| -rw-r--r-- | tex/thesis/contribution/contribution.tex | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/tex/thesis/contribution/contribution.tex b/tex/thesis/contribution/contribution.tex index 3e3ed6c..48a5e73 100644 --- a/tex/thesis/contribution/contribution.tex +++ b/tex/thesis/contribution/contribution.tex @@ -80,11 +80,12 @@ a few terms and notations. We will assume a fixed, finite set $X$ of variables. We will also define $\CZ = \Z \cup \{-\infty, \infty\}$. \begin{definition} - A \textbf{variable assignment} is a partial function, $\rho: X \to - \CZ$ that maps variables to values. The domain of a variable - assignment, $\rho$, is represented by $\mathsf{domain}(\rho) - \subseteq X$. An underlined value, $\underline{a}$, indicates a - variable assignment $\{ x \mapsto a \mid \forall x \in X \}$. + A \textbf{variable assignment} is a partial function, $\rho: + X \leadsto \CZ$ that maps variables to values. The domain of a + variable assignment, $\rho$, is represented by + $\mathsf{domain}(\rho) \subseteq X$. An underlined value, + $\underline{a}$, indicates a variable assignment $\{ x \mapsto + a \mid \forall x \in X \}$. Variable assignments $\rho : X \to \CZ$ and $\varrho : X \to \CZ$ may be composed with the $\oplus$ operator as follows: |