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:50] 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 \}) | ||
| - | \] | ||
| - | ++++ | ||
| - | |||
| ++++| | ++++| | ||
| \[ | \[ | ||
| Line 137: | Line 131: | ||
| \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]] \] | ||