Content deleted Content added
Erel Segal (talk | contribs) |
m Disambiguating links to Antisymmetric (link changed to Antisymmetric relation) using DisamAssist. |
||
Line 6:
=== Linear extension of a partial order ===
A [[partial order]] is a [[reflexive]], [[transitive]] and [[Antisymmetric relation|antisymmetric]] relation. Given any partial orders <math>\,\leq\,</math> and <math>\,\leq^*\,</math> on a set <math>X,</math> <math>\,\leq^*\,</math> is a linear extension of <math>\,\leq\,</math> exactly when
# <math>\,\leq^*\,</math> is a [[total order]], and
| |||