Differences between revisions 3 and 4
⇤ ← Revision 3 as of 2010-04-18 16:51:21 →
Size: 361
Editor: 24-183-238-75
Comment:
← Revision 4 as of 2020-01-26 22:54:17 → ⇥
Size: 314
Editor: 68
Comment:
Deletions are marked like this. Additions are marked like this.
Line 3: Line 3:
{{{#!latex
A relation $\le$ is a partial order on a set $S$ if it has:
Unknown environment 'enumerate'
}}}		 A relation ≤ is a partial order on a set S if it has:
 * Reflexivity: a≤a for all a∈S.
 * Antisymmetry: a≤b and b≤a⇒a=b.
 * Transitivity: a≤b and b≤c⇒a≤c.

Definition: Partial Order (see PoSet for partially ordered set).

A relation ≤ is a partial order on a set S if it has:

  • Reflexivity: a≤a for all a∈S.
  • Antisymmetry: a≤b and b≤a⇒a=b.
  • Transitivity: a≤b and b≤c⇒a≤c.

PartialOrder (last edited 2020-01-26 22:54:17 by 68)