Revision as of 21:48, 8 February 2022 edit Mgkrupa (talk \| contribs) Extended confirmed users 27,627 edits Added {{Distinguish\|}} Tag: Reverted ← Previous edit		Revision as of 16:07, 9 February 2022 edit undo David Eppstein (talk \| contribs) Autopatrolled, Administrators 235,885 edits Undid revision 1070713032 by Mgkrupa (talk) until dispute over whether to even mention this at redirect target is resolved Tag: Undo Next edit →
Line 1: {{Short description\|Mathematical notion of order}} ~~{{Distinguish\|Linear extension of a linear map}}~~ In [[order theory]], a branch of [[mathematics]], a '''linear extension''' of a [[partial order]] is a [[total order]] (or linear order) that is compatible with the partial order. As a classic example, the [[lexicographic order]] of totally ordered sets is a linear extension of their [[product order]].

Linear extension: Difference between revisions