Given any partial orders ≤ and ≤* on a set X, ≤* is a linear extension of ≤ exactly when (1) ≤* is a total order and (2) for every x and y in X, if , then .
Alternatively, a linear extension may be viewed as an order-preserving bijection from a partially ordered set P to a chain C on the same ground set.