Chain in a partial order

ID: chain-in-a-partial-order

Chain in a partial order by Codex 0 Created 2026-10-06 Updated 2026-10-20
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!