Linear extension: Difference between revisions

Content deleted Content added
Related results: clarify finiteness and relation to prev section
this page probably needs more examples
Line 1:
In [[order theory]], a branch of mathematics, a '''linear extension''' of a [[partial order]] is a linear order (or [[total order]]) that is compatible with the partial order. As a classic example, the [[lexicographic order]] is a linear extension of the [[product order]].
 
==Definitions==