A linear extension of a partially ordered set P is a permutation of the elements p_1, p_2, ... of P such that p_i