A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETS

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.