|
Size: 362
Comment:
|
Size: 361
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 3: | Line 3: |
| {{{#!latex2 | {{{#!latex |
Definition: Partial Order (see PoSet for partially ordered set).
A relation $\le$ is a partial order on a set $S$ if it has:
\begin{enumerate}
\item Reflexivity: $a \le a$ for all $a \in S$.
\item Antisymmetry: $a \le b$ and $ b \le a \Rightarrow a=b$.
\item Transitivity: $a \le b$ and $b \le c \Rightarrow a \le c$.
\end{enumerate}