Chain in a partial order

ID: 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.

New to topics? Read the docs here!