Linear extension: Difference between revisions

Revision as of 14:20, 7 July 2019

Revision as of 23:21, 25 August 2019

Line 1:

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]].

==Definitions==