Chain in a partial order (source code)

= Chain in a partial order

A subset of a <partially ordered set> on which the inherited order is total. The upper-bound hypothesis in <Zorn lemma> concerns all such subsets, not just countable increasing sequences.