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!