Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
tarski_fixed_point_theorem [2007/04/14 20:02] vkuncak |
tarski_fixed_point_theorem [2007/04/15 15:16] vkuncak |
||
|---|---|---|---|
| Line 10: | Line 10: | ||
| Define | Define | ||
| - | $\mbox{Post} = \{x \mid G(x) \sqsubseteq x \}$ the set of postfix points of $G$ | + | $\mbox{Post} = \{x \mid G(x) \sqsubseteq x \}$ the set of postfix points of $G$ (e.g. $\top$ is a postfix point) |
| $\mbox{Fix} = \{x \mid G(x) = x\}$ the set of fixed points of $G$ | $\mbox{Fix} = \{x \mid G(x) = x\}$ the set of fixed points of $G$ | ||