Content deleted Content added
m Disambiguating links to Reflexive (link changed to Reflexive relation) using DisamAssist. |
m Disambiguating links to Transitivity (link changed to Transitive relation) using DisamAssist. |
||
Line 6:
=== Linear extension of a partial order ===
A [[partial order]] is a [[Reflexive relation|reflexive]], [[Transitive relation|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
| |||