Chain in a partial order (source code)

= Chain in a partial order

= Chains in a partial order
{synonym}

= Chain
{synonym}

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.