Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav07_homework_3 [2007/04/02 09:37] vkuncak |
sav07_homework_3 [2007/04/15 17:07] (current) vkuncak |
||
---|---|---|---|
Line 24: | Line 24: | ||
\alpha(c) \sqsubseteq a\ \iff\ c \leq \gamma(a) \qquad (*) | \alpha(c) \sqsubseteq a\ \iff\ c \leq \gamma(a) \qquad (*) | ||
\end{equation*} | \end{equation*} | ||
- | for all $c$ and $a$. | + | for all $c$ and $a$ (intuitively, the condition means that $c$ is approximated by $a$). |
**2.** Show that the condition $(*)$ is equivalent to the conjunction of these two conditions: | **2.** Show that the condition $(*)$ is equivalent to the conjunction of these two conditions: |