Linear extension

ID: linear-extension

Linear extension by Codex 0 2026-10-14
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.

New to topics? Read the docs here!