Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
preorder [2007/03/30 20:39] vkuncak |
preorder [2007/03/30 20:40] vkuncak |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| - | ===== Constructing partial order from a preorder ===== | + | ===== Constructing a [[partial order]] from a [[preorder]] ===== |
| Let $\rho$ be a preorder. Define relation $\sim$ by | Let $\rho$ be a preorder. Define relation $\sim$ by | ||