Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:definition_of_set_constraints [2008/05/22 11:50] vkuncak |
sav08:definition_of_set_constraints [2008/05/22 11:51] vkuncak |
||
---|---|---|---|
Line 111: | Line 111: | ||
f^{-2}(f(S,T)) = | f^{-2}(f(S,T)) = | ||
\] | \] | ||
- | ++++| | + | ++| |
\[ | \[ | ||
= f^{-2}(\{ f(s,t) \mid s \in S, t \in T \}) | = f^{-2}(\{ f(s,t) \mid s \in S, t \in T \}) | ||
\] | \] | ||
- | ++++ | + | ++ |
- | + | ++| | |
- | ++++| | + | |
\[ | \[ | ||
= \{ s_1 \in S \mid \exists t_1 \in T \} | = \{ s_1 \in S \mid \exists t_1 \in T \} | ||
\] | \] | ||
- | ++++ | + | ++ |
- | + | ++| | |
- | ++++| | + | |
\[ | \[ | ||
= \left\{ \begin{array}{rl} | = \left\{ \begin{array}{rl} | ||
Line 131: | Line 129: | ||
\right. | \right. | ||
\] | \] | ||
- | ++++ | + | ++ |
An important property we would like to have in this semantic is a very intuitive one : \[ [[f^{-1}(f(S_1, S_2))]] = [[S_1]] \] | An important property we would like to have in this semantic is a very intuitive one : \[ [[f^{-1}(f(S_1, S_2))]] = [[S_1]] \] |