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:35] vkuncak |
preorder [2007/03/30 20:39] vkuncak |
||
|---|---|---|---|
| Line 17: | Line 17: | ||
| P \leq Q\ \iff\ (\forall x \in P. \forall y \in Q. x \mathop{\rho} y) | P \leq Q\ \iff\ (\forall x \in P. \forall y \in Q. x \mathop{\rho} y) | ||
| \end{equation*} | \end{equation*} | ||
| - | for $P, Q \in A/_{\sim}$, then $\leq$ is a [[partial order]]. | + | for $P, Q \in A/_{\sim}$, then we can prove that $\leq$ is a [[partial order]]. |