summaryrefslogtreecommitdiff
path: root/tex/thesis/contribution
diff options
context:
space:
mode:
Diffstat (limited to 'tex/thesis/contribution')
-rw-r--r--tex/thesis/contribution/contribution.tex11
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: