A Decomposition Theorem for Partially Ordered Sets
R. P. Dilworth · Birkhäuser Boston eBooks · 2009
Otherwise a and b are non-comparable . A subset S of P is independent if every two distinct elements of S are non-comparable. S is dependent if it contains two distinct elements which are comparable. A subset C of P is a chain if every two of its elements are comparable.