Linear extension of a partially ordered set (source code)

= Linear extension of a partially ordered set
{wiki=Linear_extension}

= Linear extensions of a partially ordered set
{synonym}

A linear extension is a total ordering of the elements of a <partially ordered set> that preserves all its comparisons. For a finite set it can be recorded as a list. If two adjacent elements in that list are incomparable, their interchange is again a linear extension.